?p
?A
?B
?C
ObjectProperty: ?p Domain: ?A
ObjectProperty: ?p Range: ?B
Class: ?C SubClassOf: ?B
?Bhead_term(?p)
verb_form(?C)
?q
?D
?E
?F
?G
ObjectProperty: ?q Domain: ?D
ObjectProperty: ?q Range: ?E
Class: ?F SubClassOf: ?E
Class: ?G EquivalentTo: (?q some ?F)
Class: ?G EquivalentTo: ?D
Class: ?G SubClassOf: ?D
make_passive_verb(?C)+head_noun(?A)
?A
?B
?p