> (setq *chart-trace* t) T > (setq *print-parse-tree* t) T > (bottom-up-chart '(the man holds the water in the can) 'dfs nil) EMPTY Reading from input (THE MAN HOLDS THE WATER IN THE CAN) EMPTY Entering ART (THE from 1 to 2) [agenda top] (1 2 ART THE 1) Starts rule NP -> (ART * ADJ N) from 1 to 2 (1 2 ART THE 1) Starts rule NP -> (ART * N) from 1 to 2 EMPTY Reading from input (MAN HOLDS THE WATER IN THE CAN) EMPTY Entering N (MAN from 2 to 3) [agenda top] (2 3 N MAN 2) Completes rule NP -> (N *) from 2 to 3 (2 3 N MAN 2) Entering NP from 2 to 3 [agenda top] (2 3 N MAN 2) Completes arc NP -> (ART * N) from 1 to 2 (2 3 N MAN 2) Entering NP from 1 to 3 [agenda top] (1 3 NP (1 2) 4) Starts rule S -> (NP * VP) from 1 to 3 (1 3 NP (1 2) 4) Starts rule NP -> (NP * PP) from 1 to 3 (2 3 NP (2) 3) Starts rule S -> (NP * VP) from 2 to 3 (2 3 NP (2) 3) Starts rule NP -> (NP * PP) from 2 to 3 EMPTY Reading from input (HOLDS THE WATER IN THE CAN) EMPTY Entering V (HOLDS from 3 to 4) [agenda top] (3 4 V HOLDS 5) Starts rule VP -> (V * NP) from 3 to 4 EMPTY Reading from input (THE WATER IN THE CAN) EMPTY Entering ART (THE from 4 to 5) [agenda top] (4 5 ART THE 6) Starts rule NP -> (ART * ADJ N) from 4 to 5 (4 5 ART THE 6) Starts rule NP -> (ART * N) from 4 to 5 EMPTY Reading from input (WATER IN THE CAN) EMPTY Entering N (WATER from 5 to 6) [agenda top] (5 6 N WATER 7) Completes rule NP -> (N *) from 5 to 6 (5 6 N WATER 7) Entering NP from 5 to 6 [agenda top] (5 6 N WATER 7) Completes arc NP -> (ART * N) from 4 to 5 (5 6 N WATER 7) Entering NP from 4 to 6 [agenda top] (4 6 NP (6 7) 9) Starts rule S -> (NP * VP) from 4 to 6 (4 6 NP (6 7) 9) Starts rule NP -> (NP * PP) from 4 to 6 (4 6 NP (6 7) 9) Completes arc VP -> (V * NP) from 3 to 4 (4 6 NP (6 7) 9) Entering VP from 3 to 6 [agenda top] (3 6 VP (5 9) 10) Starts rule VP -> (VP * PP) from 3 to 6 (3 6 VP (5 9) 10) Completes arc S -> (NP * VP) from 2 to 3 (3 6 VP (5 9) 10) Entering S from 2 to 6 [agenda top] (3 6 VP (5 9) 10) Completes arc S -> (NP * VP) from 1 to 3 (3 6 VP (5 9) 10) Entering S from 1 to 6 [agenda top] (5 6 NP (7) 8) Starts rule S -> (NP * VP) from 5 to 6 (5 6 NP (7) 8) Starts rule NP -> (NP * PP) from 5 to 6 EMPTY Reading from input (IN THE CAN) EMPTY Entering P (IN from 6 to 7) [agenda top] (6 7 P IN 13) Starts rule PP -> (P * NP) from 6 to 7 EMPTY Reading from input (THE CAN) EMPTY Entering ART (THE from 7 to 8) [agenda top] (7 8 ART THE 14) Starts rule NP -> (ART * ADJ N) from 7 to 8 (7 8 ART THE 14) Starts rule NP -> (ART * N) from 7 to 8 EMPTY Reading from input (CAN) EMPTY Entering V (CAN from 8 to 9) [agenda top] EMPTY Entering AUX (CAN from 8 to 9) [agenda top] EMPTY Entering N (CAN from 8 to 9) [agenda top] (8 9 N CAN 17) Completes rule NP -> (N *) from 8 to 9 (8 9 N CAN 17) Entering NP from 8 to 9 [agenda top] (8 9 N CAN 17) Completes arc NP -> (ART * N) from 7 to 8 (8 9 N CAN 17) Entering NP from 7 to 9 [agenda top] (7 9 NP (14 17) 19) Starts rule S -> (NP * VP) from 7 to 9 (7 9 NP (14 17) 19) Starts rule NP -> (NP * PP) from 7 to 9 (7 9 NP (14 17) 19) Completes arc PP -> (P * NP) from 6 to 7 (7 9 NP (14 17) 19) Entering PP from 6 to 9 [agenda top] (6 9 PP (13 19) 20) Completes arc NP -> (NP * PP) from 5 to 6 (6 9 PP (13 19) 20) Entering NP from 5 to 9 [agenda top] (6 9 PP (13 19) 20) Completes arc VP -> (VP * PP) from 3 to 6 (6 9 PP (13 19) 20) Entering VP from 3 to 9 [agenda top] (6 9 PP (13 19) 20) Completes arc NP -> (NP * PP) from 4 to 6 (6 9 PP (13 19) 20) Entering NP from 4 to 9 [agenda top] (4 9 NP (9 20) 23) Starts rule S -> (NP * VP) from 4 to 9 (4 9 NP (9 20) 23) Starts rule NP -> (NP * PP) from 4 to 9 (4 9 NP (9 20) 23) Completes arc VP -> (V * NP) from 3 to 4 (4 9 NP (9 20) 23) Entering VP from 3 to 9 [agenda top] (3 9 VP (5 23) 24) Starts rule VP -> (VP * PP) from 3 to 9 (3 9 VP (5 23) 24) Completes arc S -> (NP * VP) from 2 to 3 (3 9 VP (5 23) 24) Entering S from 2 to 9 [agenda top] (3 9 VP (5 23) 24) Completes arc S -> (NP * VP) from 1 to 3 (3 9 VP (5 23) 24) Entering S from 1 to 9 [agenda top] (1 9 S (4 24) 26) ** Covers the input, continuing...[67 operations] (3 9 VP (10 20) 22) Starts rule VP -> (VP * PP) from 3 to 9 (3 9 VP (10 20) 22) Completes arc S -> (NP * VP) from 2 to 3 (3 9 VP (10 20) 22) Entering S from 2 to 9 [agenda top] (3 9 VP (10 20) 22) Completes arc S -> (NP * VP) from 1 to 3 (3 9 VP (10 20) 22) Entering S from 1 to 9 [agenda top] (1 9 S (4 22) 28) ** Covers the input, continuing...[73 operations] (5 9 NP (8 20) 21) Starts rule S -> (NP * VP) from 5 to 9 (5 9 NP (8 20) 21) Starts rule NP -> (NP * PP) from 5 to 9 (8 9 NP (17) 18) Starts rule S -> (NP * VP) from 8 to 9 (8 9 NP (17) 18) Starts rule NP -> (NP * PP) from 8 to 9 (8 9 AUX CAN 16) Starts rule VP -> (AUX * VP) from 8 to 9 (8 9 V CAN 15) Starts rule VP -> (V * NP) from 8 to 9 (8 9 V CAN 15) No input, quitting [85 operations] Parse[1]: (S (NP (ART THE) (N MAN)) (VP (VP (V HOLDS) (NP (ART THE) (N WATER))) (PP (P IN) (NP (ART THE) (N CAN))))) Parse[2]: (S (NP (ART THE) (N MAN)) (VP (V HOLDS) (NP (NP (ART THE) (N WATER)) (PP (P IN) (NP (ART THE) (N CAN)))))) ((8 9 V CAN 15) (8 9 AUX CAN 16) (8 9 NP (17) 18) (5 9 NP (8 20) 21) (2 9 S (3 22) 27) (1 9 S (4 22) 28) (3 9 VP (10 20) 22) (2 9 S (3 24) 25) (1 9 S (4 24) 26) (3 9 VP (5 23) 24) (4 9 NP (9 20) 23) (6 9 PP (13 19) 20) (7 9 NP (14 17) 19) (8 9 N CAN 17) (7 8 ART THE 14) (6 7 P IN 13) (5 6 NP (7) 8) (2 6 S (3 10) 11) (1 6 S (4 10) 12) (3 6 VP (5 9) 10) (4 6 NP (6 7) 9) (5 6 N WATER 7) (4 5 ART THE 6) (3 4 V HOLDS 5) (2 3 NP (2) 3) (1 3 NP (1 2) 4) (2 3 N MAN 2) (1 2 ART THE 1)) >