[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Specifying sumti types: another revision of gimste is complete




2014-05-24 23:55 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

On Sat, May 24, 2014 at 1:35 PM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

2014-05-24 18:31 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

When you flag a place with a type, do you mean that no other type is allowed in that place

No other place is allowed. If you disagree for a given places of a given brivla please bug me.

Then I think you are being overly restrictive.
Yes, i chose  the way "it's better to be restrictive and specify tersumti types especially in their relation to each other within the selsumti than to allow too much freedom"
I can't go over the whole list, but just from looking at some random words:

The x1 of ckaji, for example, can be anything at all, it's not restricted to objects.
okay, fixed 

I don't see why "lo since" couldn't go in the x1 of ckape.
Because then we dont know what is the property of {lo since} that makes it dangerous.


Since "object" and "group" are different types, does that mean that you wouldn't accept a group as the x1 or x2 of ckasu?

good point. of course i would accept but for now im not sure how better to reflect that in the table.


What do you think of something like "mi ckire lo cevni lo nu mi ka'e viska"?
 

As for {konju} i filed a separate bug for it in the mriste. Its official definition is somewhat broken.

The x3 of konju is somewhat like the stripes of tirxu, but the x2 is part of a regular pattern. Arguably, all the "of material" places are a hindrance, but picking on this particular one seems a bit random.  Your definition as cone made of lines
no, not lines but linear segments 

means you want it to be only for abstract cones? Would a traffic cone qualify as a konju in your sense?
that cone is characterized by two segments such that one has been revolved around the other one forming the cone. I think we are going to delve into Uqbar now since e.g. a traffic triangle is similarly not really a triangle and so on meaning that geometrical ideal shapes are impossible in this real world.


mu'o mi'e xorxes
 

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.