Definition: The expression (o1 ORIGM o2) specifies the material origin of o1 from o2 , i.e. o1 has partially or wholly been created by a process of transformation or production from o2. The relation ORIGM is restrictedly transitive.
(o1 ORIGM o2)
o1
o2
ORIGM