558_a_dick_1952
It was early the next morning when they reached the ship.
arc(r_0558_0002__was, r_0558_0004__the_r_0558_0006__morning, arg0).
arc(r_0558_0002__was, r_0558_0009__reached, prd).
arc(r_0558_0004__the_r_0558_0006__morning, r_0558_0003__early, qual8).
arc(r_0558_0004__the_r_0558_0006__morning, r_0558_0005__next, attrib13).
arc(r_0558_0009__reached, r_0558_0008__they, arg0).
arc(r_0558_0009__reached, r_0558_0010__the_r_0558_0011__ship, arg1).
arc(r_0558_0009__reached, x_000_558_a_dick_1952_18, nim19).
fof(formula,axiom,
? [R_558_2_WAS,R_558_4_THE_MORNING,R_558_5_NEXT,R_558_3_EARLY,R_558_9_REACHED,R_558_8_THEY,R_558_10_THE_SHIP,X_558_A_DICK_1952_18] :
( next(R_558_5_NEXT)
& early(R_558_3_EARLY)
& they(R_558_8_THEY)
& the_ship(R_558_10_THE_SHIP)
& was(R_558_2_WAS,R_558_4_THE_MORNING,R_558_9_REACHED)
& the_morning(R_558_4_THE_MORNING)
& attrib13(R_558_4_THE_MORNING,R_558_5_NEXT)
& qual8(R_558_4_THE_MORNING,R_558_3_EARLY)
& reached(R_558_9_REACHED,R_558_8_THEY,R_558_10_THE_SHIP)
& nim19(R_558_9_REACHED,X_558_A_DICK_1952_18) ) ).
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
(BED;_cleft_Vn_ was;{be})
(NP-FOC (ADVP (ADV early;{early}))
(D the;{the})
(ADJP (ADJ next;{next}))
(N morning;{morning}))
(IP-CLF (ADVP-NIM (RADV when;{when}))
(NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
(VBD;_Tn_ reached;{reach})
(NP-OB1 (D the;{the})
(N ship;{ship})))
(PUNC .))
(ID 558_a_dick_1952))