56_a_stuck_japan
As it droned in to its second hour several of my classmates fell asleep.
arc(r_0056_0001__As, r_0056_0003__droned, restriction).
arc(r_0056_0001__As, r_0056_0012__fell, scope).
arc(r_0056_0003__droned, r_0056_0002__it, arg0).
arc(r_0056_0003__droned, r_0056_0007__hour, r_0056_0004__in_to_nim14).
arc(r_0056_0007__hour, r_0056_0002__it, gen).
arc(r_0056_0007__hour, r_0056_0006__second, attrib18).
arc(r_0056_0011__classmates, r_0056_0010__my, gen).
arc(r_0056_0012__fell, r_0056_0013__asleep, prd).
arc(r_0056_0012__fell, z_000_56_a_stuck_japan_23, arg0).
arc(z_000_56_a_stuck_japan_23, r_0056_0008__several, attrib24).
arc(z_000_56_a_stuck_japan_23, r_0056_0011__classmates, r_0056_0009__of).
fof(formula,axiom,
? [R_56_1_AS,R_56_3_DRONED,R_56_7_HOUR,R_56_6_SECOND,R_56_2_IT,R_56_12_FELL,Z_56_A_STUCK_JAPAN_23,R_56_8_SEVERAL,R_56_11_CLASSMATES,R_56_10_MY,R_56_13_ASLEEP] :
( second(R_56_6_SECOND)
& it(R_56_2_IT)
& several(R_56_8_SEVERAL)
& my(R_56_10_MY)
& asleep(R_56_13_ASLEEP)
& as(R_56_1_AS)
& conj1(R_56_1_AS,R_56_3_DRONED)
& droned(R_56_3_DRONED,R_56_2_IT)
& in_to_nim14(R_56_3_DRONED,R_56_7_HOUR)
& hour(R_56_7_HOUR)
& attrib18(R_56_7_HOUR,R_56_6_SECOND)
& gen(R_56_7_HOUR,R_56_2_IT)
& conj2(R_56_1_AS,R_56_12_FELL)
& fell(R_56_12_FELL,Z_56_A_STUCK_JAPAN_23,R_56_13_ASLEEP)
& z_56_a_stuck_japan_23(Z_56_A_STUCK_JAPAN_23)
& attrib24(Z_56_A_STUCK_JAPAN_23,R_56_8_SEVERAL)
& of(Z_56_A_STUCK_JAPAN_23,R_56_11_CLASSMATES)
& classmates(R_56_11_CLASSMATES)
& gen(R_56_11_CLASSMATES,R_56_10_MY) ) ).
( (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{LECTURE} (PRO it;{it}))
(VBD;__ droned;{drone})
(PP-NIM (P-ROLE in_to;{in_to})
(NP (NP-GEN;{LECTURE} (PRO its;{its}))
(ADJP (ADJ second;{second}))
(N hour;{hour})))))
(NP-SBJ (ADJP (ADJ several;{several}))
(PP (P-ROLE of;{of})
(NP (NP-GEN (PRO my;{my}))
(NS classmates;{classmate}))))
(VBD;_La_ fell;{fall})
(ADJP-PRD (ADJ asleep;{asleep}))
(PUNC .))
(ID 56_a_stuck_japan))