From SIGSEM
%%% This file was generated by the following command:
%%% bin/boxer --input working/step/text3.ccg --semantics drs --box --resolve --roles verbnet
:- multifile sem/5, id/2.
:- discontiguous sem/5, id/2.
:- dynamic sem/5, id/2.
id(test3,1).
%%% John went into a restaurant . There was a table in the corner . The waiter took the order . The atmosphere was warm and friendly . He began to read his book .
sem(1,
[word(1001, 'John'), word(1002, went), word(1003, into), word(1004, a), word(1005, restaurant), word(1006, '.'), word(2001, 'There'), word(2002, was), word(2003, a), word(2004, table), word(2005, in), word(2006, the), word(2007, corner), word(2008, '.'), word(3001, 'The'), word(3002, waiter), word(3003, took), word(3004, the), word(3005, order), word(3006, '.'), word(4001, 'The'), word(4002, atmosphere), word(4003, was), word(4004, warm), word(4005, and), word(4006, friendly), word(4007, '.'), word(5001, 'He'), word(5002, began), word(5003, to), word(5004, read), word(5005, his), word(5006, book), word(5007, '.')],
[pos(1001, 'NNP'), pos(1002, 'VBD'), pos(1003, 'IN'), pos(1004, 'DT'), pos(1005, 'NN'), pos(1006, '.'), pos(2001, 'EX'), pos(2002, 'VBD'), pos(2003, 'DT'), pos(2004, 'NN'), pos(2005, 'IN'), pos(2006, 'DT'), pos(2007, 'NN'), pos(2008, '.'), pos(3001, 'DT'), pos(3002, 'NN'), pos(3003, 'VBD'), pos(3004, 'DT'), pos(3005, 'NN'), pos(3006, '.'), pos(4001, 'DT'), pos(4002, 'NN'), pos(4003, 'VBD'), pos(4004, 'JJ'), pos(4005, 'CC'), pos(4006, 'JJ'), pos(4007, '.'), pos(5001, 'PRP'), pos(5002, 'VBD'), pos(5003, 'TO'), pos(5004, 'VB'), pos(5005, 'PRP$'), pos(5006, 'NN'), pos(5007, '.')],
[ne(1001, 'I-PER')],
smerge(drs([[1001]:A, [2006]:B, [3001]:C, [3004]:D, [4001]:E, [5005]:F], [[5001, 5005]:pred(A, male, a, 0), [4002]:pred(E, atmosphere, n, 0), [1001]:named(A, john, per, 0), [2007]:pred(B, corner, n, 0), [3002]:pred(C, waiter, n, 0), [3005]:pred(D, order, n, 0), [5006]:pred(F, book, n, 0), [5005]:rel(F, A, of, 0)]), smerge(drs([[1002]:G, [1004]:H], [[1002]:pred(G, go, v, 0), [1005]:pred(H, restaurant, n, 0), []:pred(G, event, n, 1), [1002]:rel(G, A, theme, 0), [1003]:rel(G, H, into, 0)]), smerge(drs([[2001]:I, [2003]:J, [2002]:K], [[2004]:pred(J, table, n, 0), [2002]:prop(K, drs([], [[2002]:eq(I, J)])), []:pred(K, event, n, 1), [2005]:rel(K, B, in, 0)]), smerge(drs([[3003]:L], [[3003]:pred(L, take, v, 0), []:pred(L, event, n, 1), [3003]:rel(L, C, agent, 0), [3003]:rel(L, D, theme, 0)]), smerge(drs([[4004]:M, [4006]:N], [[]:pred(M, event, n, 1), [4004]:prop(M, drs([], [[4004]:pred(E, warm, a, 0)])), []:pred(N, event, n, 1), [4006]:prop(N, drs([], [[4006]:pred(E, friendly, a, 0)]))]), drs([[5002]:O, []:P], [[5002]:pred(O, begin, v, 0), [5002]:pred(P, proposition, n, 1), []:pred(O, event, n, 1), [5002]:rel(O, A, agent, 0), [5002]:rel(O, P, theme, 0), [5002]:prop(P, drs([[5004]:Q], [[5004]:pred(Q, read, v, 0), []:pred(Q, event, n, 1), [5004]:rel(Q, A, agent, 0), [5004]:rel(Q, F, theme, 0)]))])))))) ).
%%% ____________________ ________________ __________________ _______________ _______________________ ________________________
%%% | x0 x1 x2 x3 x4 x5 | | x6 x7 | | x8 x9 x10 | | x11 | | x12 x13 | | x14 x15 |
%%% |--------------------| |----------------| |------------------| |---------------| |-----------------------| |------------------------|
%%% (| male(x0) |+(| go(x6) |+(| table(x9) |+(| take(x11) |+(| event(x12) |+| begin(x14) |)))))
%%% | atmosphere(x4) | | restaurant(x7) | | _________ | | event(x11) | | __________ | | proposition(x15) |
%%% | named(x0,john,per) | | event(x6) | | | | | | agent(x11,x2) | | | | | | event(x14) |
%%% | corner(x1) | | theme(x6,x0) | | x10:|---------| | | theme(x11,x3) | | x12:|----------| | | agent(x14,x0) |
%%% | waiter(x2) | | into(x6,x7) | | | x8 = x9 | | |_______________| | | warm(x4) | | | theme(x14,x15) |
%%% | order(x3) | |________________| | |_________| | | |__________| | | _______________ |
%%% | book(x5) | | event(x10) | | event(x13) | | | x16 | |
%%% | of(x5,x0) | | in(x10,x1) | | ______________ | | x15:|---------------| |
%%% |____________________| |__________________| | | | | | | read(x16) | |
%%% | x13:|--------------| | | | event(x16) | |
%%% | | friendly(x4) | | | | agent(x16,x0) | |
%%% | |______________| | | | theme(x16,x5) | |
%%% |_______________________| | |_______________| |
%%% |________________________|
Attempted: 5. Completed: 5 (100.00%).