Error (line 1, column 1) ambiguous mixfix term

[__](a)

__::__(a,[])

Error (line 2, column 1) expected further mixfix token: ["p","x"]

Error (line 3, column 1) expected further mixfix token: ["p","x"]

Error (line 4, column 3) expected further mixfix token: ["(__)"]

Error (line 5, column 1) expected further mixfix token: ["(__)","__"]

Error (line 6, column 3) unexpected mixfix token: <

Error (line 7, column 3) unexpected mixfix token: <

Error (line 8, column 4) expected further mixfix token: ["(","(op )","(var )"]

Error (line 9, column 1) unexpected mixfix token: (

Error (line 10, column 13) unexpected mixfix token: ,

Error (line 11, column 10) not a predicate: __+__

Error (line 12, column 8) not a formula: (op a:b)

Error (line 13, column 8) not a formula: (var a:b)

Error (line 14, column 8) not a predicate: f

Error (line 15, column 9) not a predicate: f

Error (line 16, column 10) not a predicate: f

Error (line 17, column 8) not a formula: (op a:b)(a)

Error (line 18, column 1) ambiguous mixfix term

A__([__](a))

A[a]

__[__](A,a)

__[a](A)

Error (line 19, column 1) ambiguous mixfix term

__[__](B,a)

__[a](B)

Error (line 20, column 1) ambiguous mixfix term

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

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

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

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

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

Error (line 21, column 1) ambiguous mixfix term

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

__!(A[a])

Error (line 22, column 1) ambiguous mixfix term

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

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

Error (line 23, column 1) ambiguous mixfix term

A__([__](a))

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

Error (line 24, column 1) ambiguous mixfix term

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

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

Error (line 25, column 1) ambiguous mixfix term

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

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

Error (line 26, column 1) ambiguous mixfix term

A__([a])

A([a])

Error (line 26, column 3) ambiguous mixfix term

[__](a)

__::__(a,[])

Error (line 27, column 1) ambiguous mixfix term

-__([__](a))

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

Error (line 28, column 1) ambiguous mixfix term

A__([__](a))

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

Error (line 29, column 1) ambiguous mixfix term

__!([__](a))

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

Error (line 30, column 1) ambiguous mixfix term

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

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

Error (line 31, column 1) ambiguous mixfix term

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

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

Error (line 32, column 1) ambiguous mixfix term

A__([__](a))

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

Error (line 32, column 1) ambiguous mixfix term

A__([__](a))

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

Error (line 33, column 1) ambiguous mixfix term

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

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

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

__+__(A[a],b)