Wug Nlab: Difference between revisions

mNo edit summary
mNo edit summary
Line 15: Line 15:
Example sentence: "Every Trlöb Schmie has 1/2 as its lowest note" - translate that into Quintlanic-enhanced Hlou?
Example sentence: "Every Trlöb Schmie has 1/2 as its lowest note" - translate that into Quintlanic-enhanced Hlou?


''For all P, (P is of class "Trlöb Schmie" and T is the (existent) range (function) of P) implies (infimum of T is 1/2)''
''For all (P where (P is of class "Trlöb Schmie")) and for all (T where (T is the (existent) range (function) of P)) the (existent) infimum of T is 1/2''