62_a_dick_1952
As they came over the white dots the Captain lowered the ship, dropping it down as much as he dared.
( (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{MEMBERS} (PRO they;{they}))
(VBD;_Ipr_ came;{come[over]})
(PP-CLR (P-ROLE over;{over})
(NP (D the;{the})
(ADJP (ADJ white;{white}))
(NS dots;{dot})))))
(NP-SBJ;{CAPTAIN} (D the;{the})
(N Captain;{captain}))
(VBD;_Tn_ lowered;{lower})
(NP-OB1;{SHIP} (D the;{the})
(N ship;{ship}))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Tn.p_ dropping;{drop[down]})
(NP-OB1;{SHIP} (PRO it;{it}))
(ADVP-CLR (RP down;{down}))
(NP-NIM (ADJP (ADVP (ADV as;{as}))
(ADJ much;{much})
(PP (P-ROLE as;{as})
(NP (IP-REL (NP-NIM *T*)
(NP-SBJ;{CAPTAIN} (PRO he;{he}))
(VBD;_Tt_ dared;{dare}))))))))
(PUNC .))
(ID 62_a_dick_1952))
arc(r_0062_0001__As,r_0062_0003__came_r_0062_0004__over,restriction).
arc(r_0062_0001__As,z_0062_5007,scope).
arc(r_0062_0003__came_r_0062_0004__over,r_0062_0002__they,arg0).
arc(r_0062_0003__came_r_0062_0004__over,r_0062_0005__the_r_0062_0007__dots,arg1).
arc(r_0062_0005__the_r_0062_0007__dots,r_0062_0006__white,attrib).
arc(r_0062_0010__lowered,r_0062_0008__the_r_0062_0009__Captain,arg0).
arc(r_0062_0010__lowered,r_0062_0011__the_r_0062_0012__ship,arg1).
arc(r_0062_0014__dropping_r_0062_0016__down,r_0062_0008__the_r_0062_0009__Captain,arg0).
arc(r_0062_0014__dropping_r_0062_0016__down,r_0062_0011__the_r_0062_0012__ship,arg1).
arc(r_0062_0014__dropping_r_0062_0016__down,z_0062_5017,nim).
arc(r_0062_0018__much,r_0062_0017__as,qual).
arc(r_0062_0018__much,z_0062_5016,r_0062_0019__as).
arc(r_0062_0021__dared,r_0062_0008__the_r_0062_0009__Captain,arg0).
arc(r_0062_0021__dared,z_0062_5016,inv_nim).
arc(z_0062_5007,r_0062_0010__lowered,scope).
arc(z_0062_5007,r_0062_0014__dropping_r_0062_0016__down,restriction).
arc(z_0062_5017,r_0062_0018__much,attrib).
fof(formula,axiom,
? [R_0062_0002__THEY,R_0062_0006__WHITE,R_0062_0005__THE_R_0062_0007__DOTS,R_0062_0003__CAME_R_0062_0004__OVER,R_0062_0008__THE_R_0062_0009__CAPTAIN,R_0062_0011__THE_R_0062_0012__SHIP,R_0062_0010__LOWERED,R_0062_0017__AS,R_0062_0021__DARED,Z_0062_5016,R_0062_0018__MUCH,Z_0062_5017,R_0062_0014__DROPPING_R_0062_0016__DOWN,Z_0062_5007,R_0062_0001__AS] :
( r_0062_0002__they(R_0062_0002__THEY)
& r_0062_0006__white(R_0062_0006__WHITE)
& r_0062_0008__the_r_0062_0009__Captain(R_0062_0008__THE_R_0062_0009__CAPTAIN)
& r_0062_0011__the_r_0062_0012__ship(R_0062_0011__THE_R_0062_0012__SHIP)
& r_0062_0017__as(R_0062_0017__AS)
& r_0062_0001__As(R_0062_0001__AS)
& has_conj2(R_0062_0001__AS,Z_0062_5007)
& z_0062_5007(Z_0062_5007)
& has_conj1(Z_0062_5007,R_0062_0014__DROPPING_R_0062_0016__DOWN)
& r_0062_0014__dropping_r_0062_0016__down(R_0062_0014__DROPPING_R_0062_0016__DOWN)
& has_nim(R_0062_0014__DROPPING_R_0062_0016__DOWN,Z_0062_5017)
& z_0062_5017(Z_0062_5017)
& has_attrib(Z_0062_5017,R_0062_0018__MUCH)
& r_0062_0018__much(R_0062_0018__MUCH)
& has_r_0062_0019__as(R_0062_0018__MUCH,Z_0062_5016)
& z_0062_5016(Z_0062_5016)
& has_inv_nim(Z_0062_5016,R_0062_0021__DARED)
& r_0062_0021__dared(R_0062_0021__DARED)
& has_arg0(R_0062_0021__DARED,R_0062_0008__THE_R_0062_0009__CAPTAIN)
& has_qual(R_0062_0018__MUCH,R_0062_0017__AS)
& has_arg1(R_0062_0014__DROPPING_R_0062_0016__DOWN,R_0062_0011__THE_R_0062_0012__SHIP)
& has_arg0(R_0062_0014__DROPPING_R_0062_0016__DOWN,R_0062_0008__THE_R_0062_0009__CAPTAIN)
& has_conj2(Z_0062_5007,R_0062_0010__LOWERED)
& r_0062_0010__lowered(R_0062_0010__LOWERED)
& has_arg1(R_0062_0010__LOWERED,R_0062_0011__THE_R_0062_0012__SHIP)
& has_arg0(R_0062_0010__LOWERED,R_0062_0008__THE_R_0062_0009__CAPTAIN)
& has_conj1(R_0062_0001__AS,R_0062_0003__CAME_R_0062_0004__OVER)
& r_0062_0003__came_r_0062_0004__over(R_0062_0003__CAME_R_0062_0004__OVER)
& has_arg1(R_0062_0003__CAME_R_0062_0004__OVER,R_0062_0005__THE_R_0062_0007__DOTS)
& r_0062_0005__the_r_0062_0007__dots(R_0062_0005__THE_R_0062_0007__DOTS)
& has_attrib(R_0062_0005__THE_R_0062_0007__DOTS,R_0062_0006__WHITE)
& has_arg0(R_0062_0003__CAME_R_0062_0004__OVER,R_0062_0002__THEY) ) ).