(Slot-Cardinality Cold-Blood _Cold 1) (<=> (Cold-Blood ?Self) (And (Blood ?Self) (Value-Cardinality ?Self _Cold 1)))