(Slot-Cardinality Molecule _Molecular 1) (=> (Molecule ?Self) (And (Minimum-Slot-Cardinality ?Self Element 2) (Exists (?A) (And (Prime-Component-Of ?Self ?A) (Chemical ?A)))))