has_proper_part
has_proper_part
Asymmetric (so including irreflexive) parthood.
Frame Elements
Domain
Entity1
Entity1
Range
Entity2
Entity2