Exporting numerical abstractors to the prenex

[Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>]

Just to show that it is possible to cope with the interpretation
of external quantifiers as a kind of numerical abstractors.

        mi nitcu re tanxe

can be transformed to

        ny pe li re zo'u mi nitcu vei ny tanxe
        For n = 2: I need n boxes.

and correspondingly

        mi na nitcu re tanxe
        naku ny pe li re zo'u mi nitcu vei ny tanxe
        It is false that for n = 2: I need n boxes.


  co'o mi'e veion

---------------------------------
.i mi du la'o sy. Veijo Vilva sy.
---------------------------------