__+__(__+__(__+__(__+__(__*__(4, __^__(x, 4)),

__*__(3, __^__(x, 3))),

__*__(2, __^__(x, 2))),

__*__(1, __^__(x, 1))),

__*__(0, __^__(x, 0)))

__::::__('a',

__::::__('b',

__::::__('\"',

__::::__('\'', __::::__('\n', __::::__('\\', empty))))))

__@@__(1, 2)

__:::__(__@@__(1, 2), 1)

__E__(1, 1)

__E__(__:::__(1, 0), 2)

__E__(__:::__(1, 0), -(__@@__(2, 3)))

__+__(__@@__(1, 2),

__*__(__@@__(3, 4),

__::::__('a', __::::__('f', __::::__('a', empty)))))

__+__(empty, empty)

(op x : a)(a, b)

a

__+__(a, b)

a: s + b : s

parse error at 14.12:

unexpected "as" or "a"

expecting "[", "%", "->", cross, ->, "=e=", "=", id/literal, "{", "(", "if", "when", "forall", exists, "\\", "case", "let", "where" or end of input

parse error at 15.7:

unexpected "as" or "a"

expecting "[", "%", "->", cross, ->, "=e=", "=", id/literal, "{", "(", "if", "when", "forall", exists, "\\", "case", "let", "where" or end of input

[]

+__(a)

__+__(a, b)

__when__else__(a, __<__(a, b), b)

__when__else__(a, pred a : b, b)

{____}(a, b)

*** Error, ambiguous mixfix term

a(b)(p)

____p(a, b)

__p(a(b))

*** Error, ambiguous mixfix term

q(a)(b)

q____(a, b)

*** Error 24.2-24.4, ambiguous mixfix term

B([__](b))

__[__](B, b)

*** Error 25.2-25.11, ambiguous mixfix term

B(__::__(a(__::__(c, __::__(d, []))), __::__(b, [])))

B[a[c,d],b]

__::__(a, __::__(__::__(c, __::__(d, [])), __::__(b, [])))

__::__(a(__::__(c, __::__(d, []))), __::__(b, []))

*** Error 27.1-27.10, ambiguous mixfix term

__::__(a(__::__(c, __::__(d, []))), __::__(b, []))

__::__(a[c,d], __::__(b, []))

__B[a[c,d],b]__(a, b)

while__do__od(while__do__od(a, b), c)

while__do__od(while__do__od(a, b), while__do__od(c, d))

{____}(a, {____}(b, c))

__::__(a, __::__(A__(0(B)), []))

*** Error 32.1-32.10, ambiguous mixfix term

__::__(a, __::__(A__(0(B)), []))

__::__(a, __::__(A(0)(B), []))

*** Error, ambiguous mixfix term

A(A__B(0(B)))

A__(A__(0(B)(B)))

A(A__B(0))(B)

A__B(A__(0(B)))

__+__(__+__(b, A__(0(B))), b)

*** Error, ambiguous mixfix term

__+__(__+__(b, A__(0(B))), b)

__+__(__+__(b, A(0)(B)), b)

-__(A__(0(B)))

*** Error, ambiguous mixfix term

-__(A__(0(B)))

-__(A(0)(B))

__!(__!(__!(a)))

__-->__(__-->__(__{__}--__-->{__}__(Pl7, nicht_wenden,

folge_dem_Gang, nicht_wenden, Pl3),

RS3),

RS6)

__*__(__+__(a, b), c)

__*__(a, __*__(b, c))

__*__(c, __+__(a, b))

__*__(__*__(a, b), c)

__*__(s(n), c)

__!(-__(a))