In Section 4.2 we have sort inclusions such as:
which we reinterpret as set comprehensions over predicates - in this case:
and we then translate these to more standard FOPC expressions - in this case:
