Relation CARRIES-ON

A relation used to talk of activities carried out within a topic; an everyday metomymy for talking of working in a field, and similar stuff.
Arity: 2
Domain: Object
Range: Topic
Subrelation-Of: Pseudo-actor-of
Axioms:
(=> (Carries-On ?A ?B)
    (Exists (?Z)
            (And (Carries-Out ?A ?Z) (Conventional-Within ?Z ?B))))