mrg/progs/GrailTHY/ToyGrail/Stable/Predicates
