(=> (Strategic-Action ?Strategic-Action) (Exists (?Strategy) (And (Strategy ?Strategy) (Sub-Plan-Of ?Strategic-Action ?Strategy))))
(<=> (Strategic-Action ?Strategic-Action) (And (Sub-Plan ?Strategic-Action) (Exists (?Strategy) (And (Strategy ?Strategy) (Sub-Plan-Of ?Strategic-Action ?Strategy)))))