CONTAINS-CONTRADICTION-P for generalizations.
CONTAINS-VERUM-P for generalizations.