A typology of multidimensional predicates