[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
John E. Clifford scripsit: > Yes, failing to bind into the predicate is a minor pain compared to > failing to bind into the restriction. Even standard logic allows ExP. I agree: a bound but unused variable should be just ignored as noise. -- MEET US AT POINT ORANGE AT MIDNIGHT BRING YOUR DUCK OR PREPARE TO FACE WUGGUMS John Cowan cowan@hidden.email http://www.ccil.org/~cowan