[not loaded]All predicatesShow sourceclassic_negation_inconstistent.pl