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, dugri3detri1 is like tcika1 (debatable whether they are numbers).stero2mitre2delno2kelvo2litce2molro2xampo2bunda2dekpu2gutci2kramu2minli2jeftu2snidu2masti2mentu2
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.