Lambda VxCs affixes proposal for TNIL

LVB — Lambda Variable Binding
  • /1: bind to sole variable of a monadic predicate
  • /2: bind to first variable of a binary predicate
  • /3: bind to second variable of a binary predicate
  • /4: bind to first variable of a ternary predicate
  • /5: bind to second variable of a ternary predicate
  • /6: bind to third variable of a ternary predicate
  • /7: bind to first variable of a quaternary predicate
  • /8: bind to second variable of a quaternary predicate
  • /9: bind to third variable of a quaternary predicate
  • /0: bind to fourth variable of a quaternary predicate

LVI — Lambda Variable Identification
  • /1: identify to sole variable of a monadic predicate
  • /2: identify to first variable of a binary predicate
  • /3: identify to second variable of a binary predicate
  • /4: identify to first variable of a ternary predicate
  • /5: identify to second variable of a ternary predicate
  • /6: identify to third variable of a ternary predicate
  • /7: identify to first variable of a quaternary predicate
  • /8: identify to second variable of a quaternary predicate
  • /9: identify to third variable of a quaternary predicate
  • /0: identify to fourth variable of a quaternary predicate

LBI — Lambda Binding and Identification
  • /1: bind and identify to sole variable of a monadic predicate
  • /2: bind and identify to first variable of a binary predicate
  • /3: bind and identify to second variable of a binary predicate
  • /4: bind and identify to first variable of a ternary predicate
  • /5: bind and identify to second variable of a ternary predicate
  • /6: bind and identify to third variable of a ternary predicate
  • /7: bind and identify to first variable of a quaternary predicate
  • /8: bind and identify to second variable of a quaternary predicate
  • /9: bind and identify to third variable of a quaternary predicate
  • /0: bind and identify to fourth variable of a quaternary predicate

ACM — Abstract Case Marker
  • /1: access the sole argument slot of a monadic predicate
  • /2: access the first argument slot of a binary predicate
  • /3: access the second argument slot of a binary predicate
  • /4: access the first argument slot of a ternary predicate
  • /5: access the second argument slot of a ternary predicate
  • /6: access the third argument slot of a ternary predicate
  • /7: access the first argument slot of a quaternary predicate
  • /8: access the second argument slot of a quaternary predicate
  • /9: access the third argument slot of a quaternary predicate
  • /0: access the fourth argument slot of a quaternary predicate