(and (Z)
(=> (subactivity precede-process process@Z)
(subactivity precede-resource resource@Z)))
Note: Logica gives in Conclusion
(not and)
(=>(forall resource@Z
(resource ?r
(and processor-activity ?a)))
(=>(forall resource@Z ?r1 ?r2 ?r3
(resource ?r1
(and resource ?r2
(and resource ?r3
(and processor-activity ?a))))))
(=>(forall process@Z
(subactivity ?occ ?a
(and processor-activity ?a))))
(=>(forall process@Z
(processor-activity ?pA
(and processor-activity ?pB
(and processor-activity ?a)))))
(=>forall (processor-activity ?pA ?pB)
(and subactivity ?pA
(and subactivity ?pB
(and [processor-activity ?a)))))
(=>(forall resource@Z)
(precede-resource
(and resource ?r
(and processor-activity ?a))))
(=>(forall process@Z)
(precede-process
(and processor-activity ?a)))
(=> (forall process@Z
(subactivity (precede-process ?pA ?pB)
(subactivity-occurrence-earlier ?pA ?pB
(and processor-activity ?pA
(and processor-activity ?pB))))
(=>(forall resource@Z)
(precede-resource ?r1 ?r3)
(subactivity-occurrence-earlier ?r1 ?r3
(and resource ?r1
(and resource ?r3)))))
(=>(forall resource@Z)
(precede-resource ?r2 ?r3)
(subactivity-occurrence-earlier ?r2 ?r3
(and resource ?r2
(and resource ?r3)))))