(=> (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT Organization) (exists (?ORG) (and (instance ?ORG Organization) (member ?AGENT ?ORG)))))
(=> (instance ?PERSON PersonBySocialRole) (exists (?ACT) (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?PERSON))))
Up: RegulatoryProcess, Securing