# $Id: snc.basis,v 1.1 2011/06/07 01:59:57 bediger Exp $
rule: C 1 2 3 -> 1 3 2
rule: N 1 2 -> 2
rule: S 1 2 3 -> 1 3 (2 3)
abstraction: [_] *- -> C N 1
abstraction: [_] _ -> N N
abstraction: [_] *- _ -> 1
abstraction: [_] * * -> S ([_] 1) ([_] 2)
([a,b,c] a c b) first second third
([a,b,c] a (b c)) first second third
([a,b] a b b) first second