[not loaded]All predicatesShow sourceclassic_negation_incostistent.pl