(=> (Strategic-Planning ?Sgc-Planning) (Exists (?Strategy ?Aspec) (And (Strategy ?Strategy) (Activity-Spec ?Aspec) (Execution-Of-Activity-Spec ?Aspec ?Sgc-Planning) (Intended-Purpose ?Aspec '(Actual-Output ?Sgc-Planning ?Strategy)))))
(=> (Non-Critical-Assumption ?Non-Critical-Assumption) (Not (Exists (?Strategic-Planning) (And (Strategic-Planning ?Strategic-Planning) (Planning-Assumption ?Strategic-Planning ?Non-Critical-Assumption))))) (=> (Critical-Assumption ?Critical-Assumption) (Exists (?Strategic-Planning) (And (Strategic-Planning ?Strategic-Planning) (Planning-Assumption ?Strategic-Planning ?Critical-Assumption))))
(<=> (Non-Critical-Influence-Factor ?Non-Critical-Influence-Factor) (And (Influence-Factor ?Non-Critical-Influence-Factor) (Not (Exists (?Strategic-Planning) (And (Strategic-Planning ?Strategic-Planning) (Used-Or-Associated-With ?Non-Critical-Influence-Factor ?Strategic-Planning)))))) (<=> (Critical-Influence-Factor ?Critical-Influence-Factor) (And (Influence-Factor ?Critical-Influence-Factor) (Exists (?Strategic-Planning) (And (Strategic-Planning ?Strategic-Planning) (Used-Or-Associated-With ?Critical-Influence-Factor ?Strategic-Planning)))))