A relationship between an Actor and an Activity-Spec whereby the Actor is specified to perform all or part of the Activities as specified in the Activity-Spec
(=> (Specified-Doer ?X) (Exists (?Activity-Spec) (Specified-To-Execute ?X ?Activity-Spec)))
(<=> (Specified-Doer ?X) (And (Actor ?X) (Exists (?Activity-Spec) (Specified-To-Execute ?X ?Activity-Spec))))