linguistic:voice_change, structural:expansion, quality:corruption, structural:summarization
Equality predicate

Using the above functions L e q {\displaystyle Leq}, G e q {\displaystyle Geq} and A n d {\displaystyle And}, the definition E q = A n d ∘ (L e q, G e q) {\displaystyle Eq=And\circ (Leq,Geq)} implements the equality predicate. In fact, E q (x, y) = A n d (L e q (x, y), G e q (x, y)) {\displaystyle Eq(x,y)=And(Leq(x,y),Geq(x,y))} is true if, and only if, x {\displaystyle x} equals y {\displaystyle y}.

Similarly, the definition L t = N o t ∘ G e q {\displaystyle Lt=Not\circ Geq} implements the predicate "less-than", and G t = N o t ∘ L e q {\displaystyle Gt=Not\circ Leq} implements "greater-than".