At 01:58 AM 4/19/03 -0400, robin.bcc wrote:
Craig wrote: >>".y" is in selma'o Y, not UI - can it really be negated? > > > Y shouldn't be negatable. Y is not negatable in actual usage. The Book does > not mention Y being negatable. Jbofi'e thinks Y is negatable. Jordan tells > me that the BNF disagrees. Hrm, looks like Y is not negatable. If I remember rightly, the CLL is always right, unless it contradicts the YACC grammar. The YACC grammar is always right unless it contradicts the BNF grammar. All hail to the BNF.
Backwards. The YACC is superior to the BNF, since the YACC can/has been formally checked.
lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org