[not loaded]All predicatesShow sources.pl