1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
Warning: <standard input>, line 17: ambiguous term, two parses are:
A : a_(b_(c`d`e))
-versus-
A : a_(b_(c_(d`e)))
Arbitrarily taking the first as correct.
A: a_(b_(c`d`e))
Warning: <standard input>, line 31: ambiguous term, two parses are:
A : a_(b_(c`d`e))
-versus-
A : a_(b_(c_e(d)))
Arbitrarily taking the first as correct.
A: a_(b_(c`d`e))
Warning: <standard input>, line 51: ambiguous term, two parses are:
A : a_(b_(c_(d`e)))
-versus-
A : a_(b_(c_(_e(d))))
Arbitrarily taking the first as correct.
A: a_(b_(c_(d`e)))
Warning: <standard input>, line 72: ambiguous term, two parses are:
A : a_(b_(c_(d_(e))))
-versus-
A : a_(b_(c_(_e(d))))
Arbitrarily taking the first as correct.
A: a_(b_(c_(d_(e))))
Bye.
|
