* Sunday, 2014-10-05 at 19:38 -0300 - Jorge Llambías <jjllambias@gmail.com>:
>
> That's assuming that "li mo'e ko'a .e ko'e" = "li mo'e ko'a je mo'e ko'e" =
> "li mo'e ko'a .e li mo'e ko'e".
The second one is a parse error,
but yes, I have the other two being
equivalent. I wouldn't use anything like that as a derivation, though,
it's just that I have logical sumti connection working the same way
wherever the sumti occurs.
My take is that sumti-6 indeed returns a term, but in the process of
parsing some logical operations may take effect. My way of thinking
about this is entangled with the details of the Haskell implementation
(monadic values), but I'll try to describe it in English!
So {ro da} returns the variable which subsequent {da} will return, but
it also causes a quantification; {ko'a .e ko'e} returns ko'a resp ko'e,
but it also causes a fork in processing, each side getting one of the
return values ko'a and ko'e, with the two sides then logically
connected. For this to make sense, you need a way of interpreting these
logical operations of quantification and connection. They apply in the
obvious ways to propositions and to predicates, and I think we agree
that this is how things work when parsing a sumti at main-bridi level or
within a description.
If I understand you correctly, you want special rules for what happens
when we parse a sumti with such logical information during the parsing
of a value: so rather than passing the actions of quantification and
connection up to the logic, they should be caught at the level of the
value and evaluated there. Right?
I imagine that could be made to work, but I worry that any such rules
for how the logical operations work on values would be rather arbitrary
and non-obvious. Having them pass up and operate in the usual logical
way seems much more natural to me.
Something analogous happens with sumtcita. Do you consider
broda ca ro da
to mean something other than
ro da zo'u broda ca da
(which is how tersmu currently handles it)?
> The presupposition is that when you use "lo plise" there's something you
> are talking about, and that something is identified by their satisfying the
> predicate "plise". Kinds may be one candidate interpretation, especially
> with so little context.
What is the logical content of this presupposition? Not actually
a matter of uniqueness, presumably? Some sort of maximality?