All predicatesShow sourceimageops.pl