(VAR x y z)
(RULES
  @(@(K,x),y) -> x
  @(@(@(S,x),y),z) -> @(@(x,z),@(y,z))

  e(x,x) -> T
)