[not loaded]All predicatesShow sourcebec_theory_discrete.pl