property constraint Deductions -> is for example property constraint ⇐ (property constraint is a ->), (is a is inverse of is for example) property constraint is a Wikibase property ⇐ (-> is subclass of Wikibase property), (property constraint is a ->)