(Slot-Cardinality Theory _Formal 1) (=> (Theory ?Self) (Exists (?A) (And (Represents ?Self ?A) (Topic ?A))))