2_a_lob_n02
Darkness had descended like a curtain by the time they docked at Belleray.
arc(r_0002_0002__had, r_0002_0003__descended, scope).
arc(r_0002_0003__descended, r_0002_0001__Darkness, arg0).
arc(r_0002_0003__descended, r_0002_0005__a_r_0002_0006__curtain, r_0002_0004__like_nim13).
arc(r_0002_0003__descended, r_0002_0008__the_r_0002_0009__time, r_0002_0007__by_nim21).
arc(r_0002_0011__docked, r_0002_0008__the_r_0002_0009__time, nim27).
arc(r_0002_0011__docked, r_0002_0010__they, arg0).
arc(r_0002_0011__docked, r_0002_0013__Belleray, r_0002_0012__at_nim37).
fof(formula,axiom,
? [R_2_2_HAD_DESCENDED,R_2_1_DARKNESS,R_2_5_A_CURTAIN,R_2_11_DOCKED,R_2_10_THEY,R_2_8_THE_TIME,R_2_13_BELLERAY] :
( darkness(R_2_1_DARKNESS)
& a_curtain(R_2_5_A_CURTAIN)
& they(R_2_10_THEY)
& the_time(R_2_8_THE_TIME)
& belleray(R_2_13_BELLERAY)
& had_descended(R_2_2_HAD_DESCENDED,R_2_1_DARKNESS)
& like_nim13(R_2_2_HAD_DESCENDED,R_2_5_A_CURTAIN)
& by_nim21(R_2_2_HAD_DESCENDED,R_2_8_THE_TIME)
& docked(R_2_11_DOCKED,R_2_10_THEY)
& nim27(R_2_11_DOCKED,R_2_8_THE_TIME)
& at_nim37(R_2_11_DOCKED,R_2_13_BELLERAY) ) ).
( (IP-MAT (NP-SBJ (N Darkness;{darkness}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_I_ descended;{descend})
(PP-NIM (P-ROLE like;{like})
(NP (D a;{a})
(N curtain;{curtain})))
(PP-NIM (P-ROLE by;{by})
(NP (D the;{the})
(N time;{time})
(IP-REL (NP-NIM *T*)
(NP-SBJ;{FORREST_BERYL_MRS_DEANE} (PRO they;{they}))
(VBD;_I_ docked;{dock})
(PP-NIM (P-ROLE at;{at})
(NP (NPR Belleray;{Belleray})))))))
(PUNC .))
(ID 2_a_lob_n02))