THE PREDICATE Frozen-Void WITH FUNCTOR CONSTRAINT Entity
MUST SATISFY THAT
Entity BE Human CONJUNCTED TO
Entity,Unused-Variable-1 BE Invents-Infinite-Compression.
THE PREDICATE Human WITH FUNCTOR CONSTRAINT Entity
MUST SAIISFY THAT
Entity, TUPLE RECORD FIRST BE 2 OF KIND LEGS BE Walks-On CONJUNCTED TO
NEGATION THAT Entity, Unused-Variable-1 BE Bird.
THE PREDICATE Invents-Infinite-Compression WITH FUNCTOR CONSTRAINT Entity AND Where
MUST SATISFY THAT
Entity BE Frozen-Void CONJUNCTED TO %% RECURSION LEL
Where BE THE ATOMIC STRING "PROG".