[not loaded]All predicatesShow sourcetoh_standard_7.pl