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

[Jorge Llambías <jjllambias@gmail.com>]

Looking at "number" places:

saclu

x1 (number) is the decimal equivalent of fraction x2 (number) in base x3 (number)

This doesn't really make much sense. If "li pa pi mu du li ci fi'u re" is true, and "li pa pi mu cu saclu" is true, then we should be able to conclude that "li ci fi'u re cu daclu" is true as well, so this place structure needs to be fixed. One possibility is "x1 (text) is the decimal representation of x2 (number) in base x3 (number)".

sumti

x1 (text) is an argument of predicate x2 (text) filling place x3 (number)

What about places that are not named with numbers, such as fai-places? Tagged places are also an issue, since tags not only add a place to a predicate but by doing so they modify the predicate, so it's hard to find a simple way to name the resulting predicate.

A few "(number)" seem to be missing:

dugri1, dugri2, dugri3

detri1 is like tcika1 (debatable whether they are numbers).

stero2

mitre2

delno2

kelvo2

litce2

molro2

xampo2

bunda2

dekpu2

gutci2

kramu2

minli2

jeftu2

snidu2

masti2

mentu2

cisni2? How does "cisni" differ from "klani"?

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.