Wug Nlab: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 14: | Line 14: | ||
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)'' | |||