[not loaded]All predicatesShow sourcetoh_standard_6.pl