All predicatesShow sourcehyper.pl