MAYBE
0.00/0.02	 The problem does not contain well-formed TRSs:
0.00/0.02	   Strict Trs:
0.00/0.02	     { U52(tt()) -> N
0.00/0.02	     , U64(tt()) -> s(plus(N, M))
0.00/0.02	     , plus(N, s(M)) -> U61(isNat())
0.00/0.02	     , plus(N, 0()) -> U51(isNat())
0.00/0.02	     , U11(tt()) -> U12(isNatKind())
0.00/0.02	     , U12(tt()) -> U13(isNatKind())
0.00/0.02	     , isNatKind() -> tt()
0.00/0.02	     , isNatKind() -> U31(isNatKind())
0.00/0.02	     , isNatKind() -> U41(isNatKind())
0.00/0.02	     , U13(tt()) -> U14(isNatKind())
0.00/0.02	     , U14(tt()) -> U15(isNat())
0.00/0.02	     , U15(tt()) -> U16(isNat())
0.00/0.02	     , isNat() -> tt()
0.00/0.02	     , isNat() -> U11(isNatKind())
0.00/0.02	     , isNat() -> U21(isNatKind())
0.00/0.02	     , U16(tt()) -> tt()
0.00/0.02	     , U21(tt()) -> U22(isNatKind())
0.00/0.02	     , U22(tt()) -> U23(isNat())
0.00/0.02	     , U23(tt()) -> tt()
0.00/0.02	     , U31(tt()) -> U32(isNatKind())
0.00/0.02	     , U32(tt()) -> tt()
0.00/0.02	     , U41(tt()) -> tt()
0.00/0.02	     , U51(tt()) -> U52(isNatKind())
0.00/0.02	     , U61(tt()) -> U62(isNatKind())
0.00/0.02	     , U62(tt()) -> U63(isNat())
0.00/0.02	     , U63(tt()) -> U64(isNatKind()) }
0.00/0.02	   StartTerms: all
0.00/0.02	   Strategy: none
0.00/0.02	EOF