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