[not loaded]All predicatesShow sourcebec_theory.pl