All predicatesShow sourcepce_arm.pl