(=> (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))))