has list Deductions has list is a Wikibase property ⇐ (-> is subclass of Wikibase property), (has list is a ->)