2_a_lob_n02
Darkness had descended like a curtain by the time they docked at 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))
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__nim).
arc(r_0002_0003__descended,r_0002_0008__the_r_0002_0009__time,r_0002_0007__by__nim).
arc(r_0002_0011__docked,r_0002_0008__the_r_0002_0009__time,inv_nim).
arc(r_0002_0011__docked,r_0002_0010__they,arg0).
arc(r_0002_0011__docked,r_0002_0013__Belleray,r_0002_0012__at__nim).
fof(formula,axiom,
? [R_0002_0001__DARKNESS,R_0002_0005__A_R_0002_0006__CURTAIN,R_0002_0010__THEY,R_0002_0013__BELLERAY,R_0002_0011__DOCKED,R_0002_0008__THE_R_0002_0009__TIME,R_0002_0002__HAD_R_0002_0003__DESCENDED] :
( r_0002_0001__Darkness(R_0002_0001__DARKNESS)
& r_0002_0005__a_r_0002_0006__curtain(R_0002_0005__A_R_0002_0006__CURTAIN)
& r_0002_0010__they(R_0002_0010__THEY)
& r_0002_0013__Belleray(R_0002_0013__BELLERAY)
& r_0002_0002__had_r_0002_0003__descended(R_0002_0002__HAD_R_0002_0003__DESCENDED)
& has_r_0002_0007__by__nim(R_0002_0002__HAD_R_0002_0003__DESCENDED,R_0002_0008__THE_R_0002_0009__TIME)
& r_0002_0008__the_r_0002_0009__time(R_0002_0008__THE_R_0002_0009__TIME)
& has_inv_nim(R_0002_0008__THE_R_0002_0009__TIME,R_0002_0011__DOCKED)
& r_0002_0011__docked(R_0002_0011__DOCKED)
& has_r_0002_0012__at__nim(R_0002_0011__DOCKED,R_0002_0013__BELLERAY)
& has_arg0(R_0002_0011__DOCKED,R_0002_0010__THEY)
& has_r_0002_0004__like__nim(R_0002_0002__HAD_R_0002_0003__DESCENDED,R_0002_0005__A_R_0002_0006__CURTAIN)
& has_arg0(R_0002_0002__HAD_R_0002_0003__DESCENDED,R_0002_0001__DARKNESS) ) ).