>>670
正確な定義が要求される議論をしているつもりはありません。
LKやNKの変種には無数の可能性があるけれども、
新しい変種を考えたときにそれをLK/NKと呼ぶことが
妥当であるための条件を皆で考えましょう、
という意図で始まった議論だと理解しています。
もちろん、現存のLK/NKの正確な定義は理解しているという前提です