(and (process@Y)
(=> (subactivity (mix-process ?a)
(and subactivity (paint-process ?b)))))
(=>(forall resource@Y)
(resource ?r
(and processor-activity ?a))))
(=>(forall process@Y
(subactivity ?occ ?a
(and processor-activity ?a))))
More precisely:
(=>(forall resource@Y
(input-material ?r1 ?a
(and input-material ?r2 ?a
(and processor-activity ?a)))))
(=>(forall resource@Y)
(output-material ?r3 ?a
(and processor-activity ?a)))
(=>(forall resource@Y)
(mix-process-output ?r3
(and (output-material ?r3)
(and processor-activity ?a))))
(=>(forall process@Y)
(subactivity mix-process ?a
(and mix-process
(and processor-activity ?a)))))
(=>(forall process@Y)
(subactivity paint-process ?b
(and paint-process
(and processor-activity ?b))))
(=>(subactivity (mix-process ?a ?r1 ?r2)
(input-material ?r1
(and input-material ?r2
(and processor-activity ?a))))
(=>(subactivity (paint-process ?a ?r3)
(output-material ?r3
(and processor-activity ?b)))