*** Error 1.1-1.3,

ambiguous mixfix term

[__](a)

__::__(a, [ ])

*** Error 2.1-2.6, expected further mixfix token: ["p","x"]

*** Error 3.1-3.2, expected further mixfix token: ["p","x"]

*** Error 4.3, expected further mixfix token: ["__"]

*** Error 5.1, expected further mixfix token: ["__"]

*** Error 6.1-6.4, expected further mixfix token: ["(","(var )"]

*** Error 7.1, unexpected mixfix token: (

*** Error 8.13, unexpected mixfix token: ,

*** Error 9.12, not a formula: (op a : b)

*** Error 10.8-10.16, not a formula: (var a : b)

*** Error 11.8-11.12, not a formula: (op a : b)(a)

*** Error 12.1-12.4,

ambiguous mixfix term

A__([__](a))

A[a]

*** Error 13.1-13.4,

ambiguous mixfix term

__[__](B, a)

__[a](B)

*** Error 14.1-14.9,

ambiguous mixfix term

A__([__]__(a, A__([__]__(a, p))))

A__(____p([__](a), A__([__](a))))

____p(A[a], A__([__](a)))

____p(A[a], A[a])

*** Error 15.1-15.5,

ambiguous mixfix term

A__(__!([__](a)))

__!(A[a])

*** Error 16.1-16.7,

ambiguous mixfix term

[__]([__]([__](a)))

__::__([__]([__](a)), [ ])

*** Error 17.1-17.9,

ambiguous mixfix term

__::__(b, __::__(A__([__](a)), [ ]))

__::__(b, __::__(A[a], [ ]))

*** Error 18.1-18.11,

ambiguous mixfix term

__+__(b, [__]__(a, +__(b)))

__+__(__+__(b, [__](a)), b)

*** Error 19.1-19.5,

ambiguous mixfix term

[__](__+__(a, b))

__::__(__+__(a, b), [ ])

*** Error 20.3-20.5,

ambiguous mixfix term

[__](a)

__::__(a, [ ])

*** Error 21.1-21.5,

ambiguous mixfix term

-__([__](a))

-__(__::__(a, [ ]))

*** Error 22.1-22.8,

ambiguous mixfix term

__+__(b, A__([__](a)))

__+__(b, A[a])

*** Error 23.1-23.4,

ambiguous mixfix term

__!([__](a))

__!(__::__(a, [ ]))

*** Error 24.1-24.10,

ambiguous mixfix term

[__](A__([__]__(a, +__(b))))

__::__(A__([__]__(a, +__(b))), [ ])

*** Error 25.1-25.10,

ambiguous mixfix term

[__](__+__(b, A__([__](a))))

__::__(__+__(b, A__([__](a))), [ ])

*** Error 26.1-26.12,

ambiguous mixfix term

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

__::__(A[a], __::__(A__([__](a)), [ ]))

__::__(A__([__](a)), __::__(A[a], [ ]))

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

*** Error 27.1-27.8,

ambiguous mixfix term

A__([__]__(a, +__(b)))

__+__(A__([__](a)), b)

*** Error 28.2-28.4,

expected further mixfix token: ["*","+","-","-->","::"]

*** Error 29.1-29.9, expected further mixfix token: ["p","x"]