All predicatesShow sourcerun.pl