a hidden X SubClassOf part_of some Y link that indicates that it is desired the reasoner infers this