Context                Previous, Next                Top


62_a_dick_1952
As they came over the white dots the Captain lowered the ship, dropping it down as much as he dared.

%3 r_0062_0001__As As r_0062_0003__came came r_0062_0001__As->r_0062_0003__came [restriction] z_000_62_a_dick_1952_36 r_0062_0001__As->z_000_62_a_dick_1952_36 [scope] r_0062_0002__they they r_0062_0003__came->r_0062_0002__they [arg0] r_0062_0005__the_r_0062_0007__dots the dots r_0062_0003__came->r_0062_0005__the_r_0062_0007__dots over [clr] r_0062_0010__lowered lowered z_000_62_a_dick_1952_36->r_0062_0010__lowered [scope] r_0062_0014__dropping dropping z_000_62_a_dick_1952_36->r_0062_0014__dropping [restriction] r_0062_0006__white white r_0062_0005__the_r_0062_0007__dots->r_0062_0006__white [attrib] r_0062_0008__the_r_0062_0009__Captain the Captain r_0062_0010__lowered->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_0011__the_r_0062_0012__ship the ship r_0062_0010__lowered->r_0062_0011__the_r_0062_0012__ship [arg1] r_0062_0014__dropping->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_0014__dropping->r_0062_0011__the_r_0062_0012__ship [arg1] r_0062_0016__down down r_0062_0014__dropping->r_0062_0016__down [clr] z_000_62_a_dick_1952_46 r_0062_0014__dropping->z_000_62_a_dick_1952_46 [nim] r_0062_0018__much much z_000_62_a_dick_1952_46->r_0062_0018__much [attrib] r_0062_0017__as as r_0062_0018__much->r_0062_0017__as [qual] z_000_62_a_dick_1952_56 r_0062_0018__much->z_000_62_a_dick_1952_56 as r_0062_0021__dared dared r_0062_0021__dared->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_1001____star__ * r_0062_0021__dared->r_0062_1001____star__ [arg1] r_0062_1001____star__->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_1001____star__->z_000_62_a_dick_1952_56 [nim] 
arc(r_0062_0001__As, r_0062_0003__came, restriction).
arc(r_0062_0001__As, z_000_62_a_dick_1952_36, scope).
arc(r_0062_0003__came, r_0062_0002__they, arg0).
arc(r_0062_0003__came, r_0062_0005__the_r_0062_0007__dots, r_0062_0004__over_clr14).
arc(r_0062_0005__the_r_0062_0007__dots, r_0062_0006__white, attrib17).
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_0008__the_r_0062_0009__Captain, arg0).
arc(r_0062_0014__dropping, r_0062_0011__the_r_0062_0012__ship, arg1).
arc(r_0062_0014__dropping, r_0062_0016__down, clr43).
arc(r_0062_0014__dropping, z_000_62_a_dick_1952_46, nim46).
arc(r_0062_0018__much, r_0062_0017__as, qual48).
arc(r_0062_0018__much, z_000_62_a_dick_1952_56, r_0062_0019__as).
arc(r_0062_0021__dared, r_0062_0008__the_r_0062_0009__Captain, arg0).
arc(r_0062_0021__dared, r_0062_1001____star__, arg1).
arc(r_0062_1001____star__, r_0062_0008__the_r_0062_0009__Captain, arg0).
arc(r_0062_1001____star__, z_000_62_a_dick_1952_56, nim64).
arc(z_000_62_a_dick_1952_36, r_0062_0010__lowered, scope).
arc(z_000_62_a_dick_1952_36, r_0062_0014__dropping, restriction).
arc(z_000_62_a_dick_1952_46, r_0062_0018__much, attrib47).


%3 z_000_62_a_dick_1952_46 r_0062_0018__much much z_000_62_a_dick_1952_46->r_0062_0018__much [attrib] z_000_62_a_dick_1952_56 r_0062_0018__much->z_000_62_a_dick_1952_56 as r_0062_0017__as as r_0062_0018__much->r_0062_0017__as [qual] z_000_62_a_dick_1952_36 r_0062_0014__dropping dropping z_000_62_a_dick_1952_36->r_0062_0014__dropping [conj1] r_0062_0010__lowered lowered z_000_62_a_dick_1952_36->r_0062_0010__lowered [conj2] r_0062_0014__dropping->z_000_62_a_dick_1952_46 [nim] r_0062_0008__the_r_0062_0009__Captain the Captain r_0062_0014__dropping->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_0016__down down r_0062_0014__dropping->r_0062_0016__down [clr] r_0062_0011__the_r_0062_0012__ship the ship r_0062_0014__dropping->r_0062_0011__the_r_0062_0012__ship [arg1] r_0062_0010__lowered->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_0010__lowered->r_0062_0011__the_r_0062_0012__ship [arg1] r_0062_1001____star__ * r_0062_1001____star__->z_000_62_a_dick_1952_56 [nim] r_0062_1001____star__->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_0021__dared dared r_0062_0021__dared->r_0062_1001____star__ [arg1] r_0062_0021__dared->r_0062_0008__the_r_0062_0009__Captain [arg0] r_0062_0005__the_r_0062_0007__dots the dots r_0062_0006__white white r_0062_0005__the_r_0062_0007__dots->r_0062_0006__white [attrib] r_0062_0003__came came r_0062_0003__came->r_0062_0005__the_r_0062_0007__dots over [clr] r_0062_0002__they they r_0062_0003__came->r_0062_0002__they [arg0] r_0062_0001__As As r_0062_0001__As->z_000_62_a_dick_1952_36 [conj2] r_0062_0001__As->r_0062_0003__came [conj1] 
fof(formula,axiom,
    ? [R_62_1_AS,R_62_3_CAME,R_62_2_THEY,R_62_5_THE_DOTS,R_62_6_WHITE,Z_62_A_DICK_1952_36,R_62_14_DROPPING,R_62_16_DOWN,Z_62_A_DICK_1952_46,R_62_18_MUCH,R_62_17_AS,R_62_10_LOWERED,R_62_11_THE_SHIP,R_62_21_DARED,R_62_1001__STAR_,R_62_8_THE_CAPTAIN,Z_62_A_DICK_1952_56] :
      ( they(R_62_2_THEY)
      & white(R_62_6_WHITE)
      & down(R_62_16_DOWN)
      & as(R_62_17_AS)
      & the_ship(R_62_11_THE_SHIP)
      & the_Captain(R_62_8_THE_CAPTAIN)
      & as(R_62_1_AS)
      & conj1(R_62_1_AS,R_62_3_CAME)
      & came(R_62_3_CAME,R_62_2_THEY)
      & over_clr14(R_62_3_CAME,R_62_5_THE_DOTS)
      & the_dots(R_62_5_THE_DOTS)
      & attrib17(R_62_5_THE_DOTS,R_62_6_WHITE)
      & conj2(R_62_1_AS,Z_62_A_DICK_1952_36)
      & z_62_a_dick_1952_36(Z_62_A_DICK_1952_36)
      & conj1(Z_62_A_DICK_1952_36,R_62_14_DROPPING)
      & dropping(R_62_14_DROPPING,R_62_8_THE_CAPTAIN,R_62_11_THE_SHIP)
      & clr43(R_62_14_DROPPING,R_62_16_DOWN)
      & nim46(R_62_14_DROPPING,Z_62_A_DICK_1952_46)
      & z_62_a_dick_1952_46(Z_62_A_DICK_1952_46)
      & attrib47(Z_62_A_DICK_1952_46,R_62_18_MUCH)
      & much(R_62_18_MUCH)
      & qual48(R_62_18_MUCH,R_62_17_AS)
      & as(R_62_18_MUCH,Z_62_A_DICK_1952_56)
      & conj2(Z_62_A_DICK_1952_36,R_62_10_LOWERED)
      & lowered(R_62_10_LOWERED,R_62_8_THE_CAPTAIN,R_62_11_THE_SHIP)
      & dared(R_62_21_DARED,R_62_8_THE_CAPTAIN,R_62_1001__STAR_)
      & _star_(R_62_1001__STAR_,R_62_8_THE_CAPTAIN)
      & nim64(R_62_1001__STAR_,Z_62_A_DICK_1952_56) ) ).


n62_a_dick_1952 n62_a_dick_1952__1_1_1_1 As n62_a_dick_1952__1_1_2_1_1_1 they n62_a_dick_1952__1_1_2_2_1 came n62_a_dick_1952__1_1_2_3_1_1 over n62_a_dick_1952__1_1_2_3_2_1_1 the n62_a_dick_1952__1_1_2_3_2_2_1_1 white n62_a_dick_1952__1_1_2_3_2_3_1 dots n62_a_dick_1952__1_2_1_1 the n62_a_dick_1952__1_2_2_1 Captain n62_a_dick_1952__1_3_1 lowered n62_a_dick_1952__1_4_1_1 the n62_a_dick_1952__1_4_2_1 ship n62_a_dick_1952__1_5_1 , n62_a_dick_1952__1_6_1_1_1 dropping n62_a_dick_1952__1_6_1_2_1_1 it n62_a_dick_1952__1_6_1_3_1_1 down n62_a_dick_1952__1_6_1_4_1_1_1_1 as n62_a_dick_1952__1_6_1_4_1_2_1 much n62_a_dick_1952__1_6_1_4_1_3_1_1 as n62_a_dick_1952__1_6_1_4_1_3_2_1_1_1_1 he n62_a_dick_1952__1_6_1_4_1_3_2_1_2_1 dared n62_a_dick_1952__1_6_1_4_1_3_2_1_3_1_1 *T* n62_a_dick_1952__1_6_1_4_1_3_2_1_3_2_1 _*_ n62_a_dick_1952__1_7_1 . n62_a_dick_1952__1 IP-MAT n62_a_dick_1952__1_1 PP-SCON n62_a_dick_1952__1->n62_a_dick_1952__1_1 n62_a_dick_1952__1_2 NP-SBJ n62_a_dick_1952__1->n62_a_dick_1952__1_2 n62_a_dick_1952__1_3 VBD;_Tn_ n62_a_dick_1952__1->n62_a_dick_1952__1_3 n62_a_dick_1952__1_4 NP-OB1 n62_a_dick_1952__1->n62_a_dick_1952__1_4 n62_a_dick_1952__1_5 PUNC n62_a_dick_1952__1->n62_a_dick_1952__1_5 n62_a_dick_1952__1_6 PP-SCON n62_a_dick_1952__1->n62_a_dick_1952__1_6 n62_a_dick_1952__1_7 PUNC n62_a_dick_1952__1->n62_a_dick_1952__1_7 n62_a_dick_1952__1_1_1 P-CONN n62_a_dick_1952__1_1->n62_a_dick_1952__1_1_1 n62_a_dick_1952__1_1_2 IP-ADV n62_a_dick_1952__1_1->n62_a_dick_1952__1_1_2 n62_a_dick_1952__1_1_1->n62_a_dick_1952__1_1_1_1 n62_a_dick_1952__1_1_2_1 NP-SBJ n62_a_dick_1952__1_1_2->n62_a_dick_1952__1_1_2_1 n62_a_dick_1952__1_1_2_2 VBD;_Ipr_ n62_a_dick_1952__1_1_2->n62_a_dick_1952__1_1_2_2 n62_a_dick_1952__1_1_2_3 PP-CLR n62_a_dick_1952__1_1_2->n62_a_dick_1952__1_1_2_3 n62_a_dick_1952__1_1_2_1_1 PRO n62_a_dick_1952__1_1_2_1->n62_a_dick_1952__1_1_2_1_1 n62_a_dick_1952__1_1_2_1_1->n62_a_dick_1952__1_1_2_1_1_1 n62_a_dick_1952__1_1_2_2->n62_a_dick_1952__1_1_2_2_1 n62_a_dick_1952__1_1_2_3_1 P-ROLE n62_a_dick_1952__1_1_2_3->n62_a_dick_1952__1_1_2_3_1 n62_a_dick_1952__1_1_2_3_2 NP n62_a_dick_1952__1_1_2_3->n62_a_dick_1952__1_1_2_3_2 n62_a_dick_1952__1_1_2_3_1->n62_a_dick_1952__1_1_2_3_1_1 n62_a_dick_1952__1_1_2_3_2_1 D n62_a_dick_1952__1_1_2_3_2->n62_a_dick_1952__1_1_2_3_2_1 n62_a_dick_1952__1_1_2_3_2_2 ADJP n62_a_dick_1952__1_1_2_3_2->n62_a_dick_1952__1_1_2_3_2_2 n62_a_dick_1952__1_1_2_3_2_3 NS n62_a_dick_1952__1_1_2_3_2->n62_a_dick_1952__1_1_2_3_2_3 n62_a_dick_1952__1_1_2_3_2_1->n62_a_dick_1952__1_1_2_3_2_1_1 n62_a_dick_1952__1_1_2_3_2_2_1 ADJ n62_a_dick_1952__1_1_2_3_2_2->n62_a_dick_1952__1_1_2_3_2_2_1 n62_a_dick_1952__1_1_2_3_2_2_1->n62_a_dick_1952__1_1_2_3_2_2_1_1 n62_a_dick_1952__1_1_2_3_2_3->n62_a_dick_1952__1_1_2_3_2_3_1 n62_a_dick_1952__1_2_1 D n62_a_dick_1952__1_2->n62_a_dick_1952__1_2_1 n62_a_dick_1952__1_2_2 N n62_a_dick_1952__1_2->n62_a_dick_1952__1_2_2 n62_a_dick_1952__1_2_1->n62_a_dick_1952__1_2_1_1 n62_a_dick_1952__1_2_2->n62_a_dick_1952__1_2_2_1 n62_a_dick_1952__1_3->n62_a_dick_1952__1_3_1 n62_a_dick_1952__1_4_1 D n62_a_dick_1952__1_4->n62_a_dick_1952__1_4_1 n62_a_dick_1952__1_4_2 N n62_a_dick_1952__1_4->n62_a_dick_1952__1_4_2 n62_a_dick_1952__1_4_1->n62_a_dick_1952__1_4_1_1 n62_a_dick_1952__1_4_2->n62_a_dick_1952__1_4_2_1 n62_a_dick_1952__1_5->n62_a_dick_1952__1_5_1 n62_a_dick_1952__1_6_1 IP-PPL2 n62_a_dick_1952__1_6->n62_a_dick_1952__1_6_1 n62_a_dick_1952__1_6_1_1 VAG;_Tn.p_ n62_a_dick_1952__1_6_1->n62_a_dick_1952__1_6_1_1 n62_a_dick_1952__1_6_1_2 NP-OB1 n62_a_dick_1952__1_6_1->n62_a_dick_1952__1_6_1_2 n62_a_dick_1952__1_6_1_3 ADVP-CLR n62_a_dick_1952__1_6_1->n62_a_dick_1952__1_6_1_3 n62_a_dick_1952__1_6_1_4 NP-NIM n62_a_dick_1952__1_6_1->n62_a_dick_1952__1_6_1_4 n62_a_dick_1952__1_6_1_1->n62_a_dick_1952__1_6_1_1_1 n62_a_dick_1952__1_6_1_2_1 PRO n62_a_dick_1952__1_6_1_2->n62_a_dick_1952__1_6_1_2_1 n62_a_dick_1952__1_6_1_2_1->n62_a_dick_1952__1_6_1_2_1_1 n62_a_dick_1952__1_6_1_3_1 RP n62_a_dick_1952__1_6_1_3->n62_a_dick_1952__1_6_1_3_1 n62_a_dick_1952__1_6_1_3_1->n62_a_dick_1952__1_6_1_3_1_1 n62_a_dick_1952__1_6_1_4_1 ADJP n62_a_dick_1952__1_6_1_4->n62_a_dick_1952__1_6_1_4_1 n62_a_dick_1952__1_6_1_4_1_1 ADVP n62_a_dick_1952__1_6_1_4_1->n62_a_dick_1952__1_6_1_4_1_1 n62_a_dick_1952__1_6_1_4_1_2 ADJ n62_a_dick_1952__1_6_1_4_1->n62_a_dick_1952__1_6_1_4_1_2 n62_a_dick_1952__1_6_1_4_1_3 PP n62_a_dick_1952__1_6_1_4_1->n62_a_dick_1952__1_6_1_4_1_3 n62_a_dick_1952__1_6_1_4_1_1_1 ADV n62_a_dick_1952__1_6_1_4_1_1->n62_a_dick_1952__1_6_1_4_1_1_1 n62_a_dick_1952__1_6_1_4_1_1_1->n62_a_dick_1952__1_6_1_4_1_1_1_1 n62_a_dick_1952__1_6_1_4_1_2->n62_a_dick_1952__1_6_1_4_1_2_1 n62_a_dick_1952__1_6_1_4_1_3_1 P-ROLE n62_a_dick_1952__1_6_1_4_1_3->n62_a_dick_1952__1_6_1_4_1_3_1 n62_a_dick_1952__1_6_1_4_1_3_2 NP n62_a_dick_1952__1_6_1_4_1_3->n62_a_dick_1952__1_6_1_4_1_3_2 n62_a_dick_1952__1_6_1_4_1_3_1->n62_a_dick_1952__1_6_1_4_1_3_1_1 n62_a_dick_1952__1_6_1_4_1_3_2_1 IP-REL n62_a_dick_1952__1_6_1_4_1_3_2->n62_a_dick_1952__1_6_1_4_1_3_2_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_1 NP-SBJ n62_a_dick_1952__1_6_1_4_1_3_2_1->n62_a_dick_1952__1_6_1_4_1_3_2_1_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_2 VBD;_Tt_ n62_a_dick_1952__1_6_1_4_1_3_2_1->n62_a_dick_1952__1_6_1_4_1_3_2_1_2 n62_a_dick_1952__1_6_1_4_1_3_2_1_3 IP-INF-OB1 n62_a_dick_1952__1_6_1_4_1_3_2_1->n62_a_dick_1952__1_6_1_4_1_3_2_1_3 n62_a_dick_1952__1_6_1_4_1_3_2_1_1_1 PRO n62_a_dick_1952__1_6_1_4_1_3_2_1_1->n62_a_dick_1952__1_6_1_4_1_3_2_1_1_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_1_1->n62_a_dick_1952__1_6_1_4_1_3_2_1_1_1_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_2->n62_a_dick_1952__1_6_1_4_1_3_2_1_2_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_3_1 NP-NIM n62_a_dick_1952__1_6_1_4_1_3_2_1_3->n62_a_dick_1952__1_6_1_4_1_3_2_1_3_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_3_2 VB n62_a_dick_1952__1_6_1_4_1_3_2_1_3->n62_a_dick_1952__1_6_1_4_1_3_2_1_3_2 n62_a_dick_1952__1_6_1_4_1_3_2_1_3_1->n62_a_dick_1952__1_6_1_4_1_3_2_1_3_1_1 n62_a_dick_1952__1_6_1_4_1_3_2_1_3_2->n62_a_dick_1952__1_6_1_4_1_3_2_1_3_2_1 n62_a_dick_1952__1_7->n62_a_dick_1952__1_7_1 
( (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-SBJ;{CAPTAIN} (PRO he;{he}))
                                                          (VBD;_Tt_ dared;{dare})
                                                          (IP-INF-OB1 (NP-NIM *T*)
                                                                      (VB _*_)))))))))
          (PUNC .))
  (ID 62_a_dick_1952))