From SIGSEM
%%% This file was generated by the following command:
%%% bin/boxer --input working/step/text1.ccg --semantics drs --box --resolve --roles verbnet
:- multifile sem/5, id/2.
:- discontiguous sem/5, id/2.
:- dynamic sem/5, id/2.
id(text1,1).
%%% An object is thrown with a horizontal speed of 20 m/s from a cliff that is 125 m high . The object falls for the height of the cliff . If air resistance is negligible , how long does it take the object to fall to the ground ? What is the duration of the fall ?
sem(1,
[word(1001, 'An'), word(1002, object), word(1003, is), word(1004, thrown), word(1005, with), word(1006, a), word(1007, horizontal), word(1008, speed), word(1009, of), word(1010, '20'), word(1011, 'm/s'), word(1012, from), word(1013, a), word(1014, cliff), word(1015, that), word(1016, is), word(1017, '125'), word(1018, m), word(1019, high), word(1020, '.'), word(2001, 'The'), word(2002, object), word(2003, falls), word(2004, for), word(2005, the), word(2006, height), word(2007, of), word(2008, the), word(2009, cliff), word(2010, '.'), word(3001, 'If'), word(3002, air), word(3003, resistance), word(3004, is), word(3005, negligible), word(3006, (',')), word(3007, how), word(3008, long), word(3009, does), word(3010, it), word(3011, take), word(3012, the), word(3013, object), word(3014, to), word(3015, fall), word(3016, to), word(3017, the), word(3018, ground), word(3019, ?), word(4001, 'What'), word(4002, is), word(4003, the), word(4004, duration), word(4005, of), word(4006, the), word(4007, fall), word(4008, ?)],
[pos(1001, 'DT'), pos(1002, 'NN'), pos(1003, 'VBZ'), pos(1004, 'VBN'), pos(1005, 'IN'), pos(1006, 'DT'), pos(1007, 'JJ'), pos(1008, 'NN'), pos(1009, 'IN'), pos(1010, 'CD'), pos(1011, 'NNS'), pos(1012, 'IN'), pos(1013, 'DT'), pos(1014, 'NN'), pos(1015, 'WDT'), pos(1016, 'VBZ'), pos(1017, 'CD'), pos(1018, 'NN'), pos(1019, 'NN'), pos(1020, '.'), pos(2001, 'DT'), pos(2002, 'NN'), pos(2003, 'VBZ'), pos(2004, 'IN'), pos(2005, 'DT'), pos(2006, 'NN'), pos(2007, 'IN'), pos(2008, 'DT'), pos(2009, 'NN'), pos(2010, '.'), pos(3001, 'IN'), pos(3002, 'NN'), pos(3003, 'NN'), pos(3004, 'VBZ'), pos(3005, 'JJ'), pos(3006, (',')), pos(3007, 'WRB'), pos(3008, 'RB'), pos(3009, 'VBZ'), pos(3010, 'PRP'), pos(3011, 'VB'), pos(3012, 'DT'), pos(3013, 'NN'), pos(3014, 'TO'), pos(3015, 'VB'), pos(3016, 'TO'), pos(3017, 'DT'), pos(3018, 'NN'), pos(3019, '.'), pos(4001, 'WP'), pos(4002, 'VBZ'), pos(4003, 'DT'), pos(4004, 'NN'), pos(4005, 'IN'), pos(4006, 'DT'), pos(4007, 'NN'), pos(4008, '.')],
[ne(2006, 'I-TIM'), ne(2007, 'I-TIM'), ne(2008, 'I-TIM'), ne(2009, 'I-TIM')],
smerge(drs([[2005]:A, [3010]:B, [3017]:C, [4003]:D, [4006]:E], [[2006]:pred(A, height, n, 0), [3010]:pred(B, neuter, a, 0), [3018]:pred(C, ground, n, 0), [4004]:pred(D, duration, n, 0), [4007]:pred(E, fall, n, 0)]), smerge(drs([[1018]:F, [1001]:G, [1004]:H, [1006]:I, [1010, 1011]:J, [1013]:K, [1017, 1018, 1019]:L, [1016]:M], [[1002, 2002, 3013]:pred(G, object, n, 0), [1014, 2009]:pred(K, cliff, n, 0), [1010]:card(J, 20, ge), [1017]:card(L, 125, ge), [1018]:pred(F, m, n, 0), [1004]:pred(H, throw, v, 0), [1007]:pred(I, horizontal, a, 0), [1008]:pred(I, speed, n, 0), [1011]:pred(J, 'm/s', n, 0), [1019]:pred(L, high, n, 0), []:pred(M, event, n, 1), []:pred(H, event, n, 1), []:rel(F, L, nn, 0), [1004]:rel(H, G, theme, 0), [1012]:rel(J, K, from, 0), [1009]:rel(I, J, of, 0), [1005]:rel(H, I, with, 0), [1016]:prop(M, drs([], [[1016]:eq(K, L)]))]), smerge(drs([[2003]:N], [[2003]:pred(N, fall, v, 0), [2003]:rel(N, G, attribute, 0), []:pred(N, event, n, 1), [2007]:rel(A, K, of, 0), [2004]:rel(N, A, for, 0)]), smerge(drs([[3001]:O], [[]:pred(O, event, n, 1), [3001]:imp(drs([[3002]:P, [3002, 3003]:Q, [3005]:R], [[3002]:pred(P, air, n, 0), [3003]:pred(Q, resistance, n, 0), []:pred(R, event, n, 1), []:rel(P, Q, nn, 0), [3005]:prop(R, drs([], [[3005]:pred(Q, negligible, a, 0)]))]), drs([[3015]:S, [3011]:T, []:U], [[3015]:pred(S, fall, v, 0), [3015]:rel(S, G, attribute, 0), []:pred(S, event, n, 1), [3016]:rel(S, C, to, 0), [3011]:pred(T, take, v, 0), [3011]:pred(U, proposition, n, 1), []:pred(T, event, n, 1), [3011]:rel(T, G, patient, 0), [3011]:rel(T, B, agent, 0), [3011]:rel(T, U, theme, 0), [3011]:prop(U, drs([], [[3007]:whq([mea:mis], drs([[3007]:V, [3008]:W], [[]:pred(W, event, n, 1), [3008]:prop(W, drs([], [[3008]:pred(V, length, n, 1)]))]), V, drs([], [[3007]:rel(V, G, of, 0)]))]))]))]), drs([], [[4001]:whq([], drs([[4001]:X], [[4001]:pred(X, thing, n, 12)]), X, drs([[4002]:Y], [[]:pred(Y, event, n, 1), [4005]:rel(D, E, of, 0), [4002]:prop(Y, drs([], [[4002]:eq(X, D)]))]))]))))) ).
%%% ________________ ____________________________ ___________________ _________________________________________________________________________________________ ________________________________________
%%% | x0 x1 x2 x3 x4 | | x5 x6 x7 x8 x9 x10 x11 x12 | | x13 | | x14 | | |
%%% |----------------| |----------------------------| |-------------------| |-----------------------------------------------------------------------------------------| |----------------------------------------|
%%% (| height(x0) |+(| object(x6) |+(| fall(x13) |+(| event(x14) |+| ____________ ___________________ |))))
%%% | neuter(x1) | | cliff(x10) | | attribute(x13,x6) | | __________________________ ____________________________________________________ | | | x23 | | x24 | |
%%% | ground(x2) | | |x9| >= 20 | | event(x13) | | | x15 x16 x17 | | x18 x19 x20 | | | |------------| |-------------------| |
%%% | duration(x3) | | |x11| >= 125 | | of(x0,x10) | | |--------------------------| |----------------------------------------------------| | | | thing(x23) | ? | event(x24) | |
%%% | fall(x4) | | m(x5) | | for(x13,x0) | | | air(x15) | ==> | fall(x18) | | | |____________| | of(x3,x4) | |
%%% |________________| | throw(x7) | |___________________| | | resistance(x16) | | attribute(x18,x6) | | | | __________ | |
%%% | horizontal(x8) | | | event(x17) | | event(x18) | | | | | | | |
%%% | speed(x8) | | | nn(x15,x16) | | to(x18,x2) | | | | x24:|----------| | |
%%% | m/s(x9) | | | _________________ | | take(x19) | | | | | x23 = x3 | | |
%%% | high(x11) | | | | | | | proposition(x20) | | | | |__________| | |
%%% | event(x12) | | | x17:|-----------------| | | event(x19) | | | |___________________| |
%%% | event(x7) | | | | negligible(x16) | | | patient(x19,x6) | | |________________________________________|
%%% | nn(x5,x11) | | | |_________________| | | agent(x19,x1) | |
%%% | theme(x7,x6) | | |__________________________| | theme(x19,x20) | |
%%% | from(x9,x10) | | | ___________________________________________ | |
%%% | of(x8,x9) | | | | | | |
%%% | with(x7,x8) | | | x20:|-------------------------------------------| | |
%%% | ___________ | | | | ______________________ ____________ | | |
%%% | | | | | | | | x21 x22 | | | | | |
%%% | x12:|-----------| | | | | |----------------------| |------------| | | |
%%% | | x10 = x11 | | | | | | event(x22) | ? | of(x21,x6) | | | |
%%% | |___________| | | | | | _____________ | |____________| | | |
%%% |____________________________| | | | | | | | | | |
%%% | | | | x22:|-------------| | | | |
%%% | | | | | length(x21) | | | | |
%%% | | | | |_____________| | | | |
%%% | | | |______________________| | | |
%%% | | |___________________________________________| | |
%%% | |____________________________________________________| |
%%% |_________________________________________________________________________________________|
Attempted: 4. Completed: 4 (100.00%).
