(=> (Non-Critical-Assumption ?Non-Critical-Assumption) (Not (Exists (?Strategic-Planning) (And (Strategic-Planning ?Strategic-Planning) (Planning-Assumption ?Strategic-Planning ?Non-Critical-Assumption)))))
(Exhaustive-Subclass-Partition Assumption (Setof Critical-Assumption Non-Critical-Assumption))