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