Definition: The expression (o1 PARS o2) specifies that o1 is a part of o2; in other words, o2 is the whole which contains o1 as its component. The relation PARS is restrictedly transitive, asymmetric, and not reflexive.
(o1 PARS o2)
o1
o2
PARS