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