On 28/01/2015 00:06, Jorge Llambías wrote:
Describing the porsi2 of [b,r,o,d,o] is a pain because it's an arbitrary sequence, not one that follows some simple rule. Since we're going to need to refer to two instances of the letter "o" we can use the pronouns ".o bu xi pa" and ".o bu xi re" for each instance, and "by", "ry" and "dy" for the other three letter instances. Then porsi2 could be something like "lo du'u ge by cu pa moi gi ge ry cu re moi gi ge .o bu xi pa cu ci moi gi ge dy cu vo moi gi ,o bu xi re cu mu moi".
"N moi" is a claim stating a relation between three arguments and a number. What are the x2 and x3 of moi there so that the bridi's claim holds true?
I think {moi} is totally inappropriate there, as we need a sorting rule for defining another sorting rule; porsi-2 should at least be an unary property of porsi-1, and I guess that {lidne} or {li'erla'i} is the way to go for building up the sequence.
{porsi lo ka fi ce'u li'erla'i fa by fe ry gi'e li'erla'i fa ry fe .obu gi'e.....}
pei