(ignored inputs)COMMENT Combinatory Logic Rewrite Rules: [ Ap(Ap(Ap(S,?x),?y),?z) -> Ap(Ap(?x,?z),Ap(?y,?z)), Ap(Ap(K,?x),?y) -> ?x, Ap(I,?x) -> ?x ] Apply Direct Methods... Inner CPs: [ ] Outer CPs: [ ] Overlay, check Innermost Termination... unknown Innermost Terminating unknown Knuth&Bendix Left-Linear, not Right-Linear Development Closed Direct Methods: CR Final result: CR /local-scratch/hzankl/2012/cops2012/104.trs: Success(CR) (42 msec.)