CORRECTION to METAGRAM + OOP = ABLE a conlang experiment

--- Gary Shannon <fiziwig@...> wrote:
<snip>

Originally written like this:

>
> Not
> (
>    Possible
>    (
>       Repair
>       (
>          BY:Include
>          (
>             All( horse.BelongTo( king ))
>             All( man.LoyalTo( king ))
>          )
>          WHAT:humpty_dumpty
>       )
>    )
>    TENSE:past
> )
In fact the "thing" doing the repairing is the whole
conjoined compound "thing" made up of "all the king's
horses and all the kings men", and so that should be
the "thing" that owns the assertion "Repair".

Just as in "John.Throw( WHAT:ball )" where "John" owns
the assertion "Throw", the assertion that all the
king's horses and all the king's men couldn't put
humpty dumpty together again is properly rendered:

Not
[
   Possible
   [
      Union
      [
         All( horse.BelongTo( king ))
         All( man.LoyalTo( king ))
      ].Repair( humpty_dumpty }
   ]
   TENSE:past
]

Where square brackets enclose arguments to assertions
that take assertions as arguments and round brackets
enlcose arguments to assertions that take things as
arguments.

Reply