(Slot-Cardinality Software-Program _Formal 1) (Slot-Cardinality Software-Program _Structured 1) (=> (Software-Program ?Self) (Exists (?A) (And (Strictly-Depends-On ?Self ?A) (Machine-Activity ?A))))