type of constraint for Wikidata properties: used to specify that an item with this property should also have another given property