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).

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_0008__THE_R_0062_0009__CAPTAIN,R_0062_0011__THE_R_0062_0012__SHIP,R_0062_0010__LOWERED,R_0062_0016__DOWN,R_0062_0017__AS,Z_000_62_A_DICK_1952_56,R_0062_0018__MUCH,Z_000_62_A_DICK_1952_46,R_0062_0014__DROPPING,Z_000_62_A_DICK_1952_36,R_0062_0001__AS,R_0062_1001____STAR__,R_0062_0021__DARED] :
      ( 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_0016__down(R_0062_0016__DOWN)
      & r_0062_0017__as(R_0062_0017__AS)
      & z_000_62_a_dick_1952_56(Z_000_62_A_DICK_1952_56)
      & r_0062_0021__dared(R_0062_0021__DARED)
      & has_arg1(R_0062_0021__DARED,R_0062_1001____STAR__)
      & r_0062_1001____star__(R_0062_1001____STAR__)
      & has_nim64(R_0062_1001____STAR__,Z_000_62_A_DICK_1952_56)
      & has_arg0(R_0062_1001____STAR__,R_0062_0008__THE_R_0062_0009__CAPTAIN)
      & has_arg0(R_0062_0021__DARED,R_0062_0008__THE_R_0062_0009__CAPTAIN)
      & r_0062_0001__As(R_0062_0001__AS)
      & has_conj2(R_0062_0001__AS,Z_000_62_A_DICK_1952_36)
      & z_000_62_a_dick_1952_36(Z_000_62_A_DICK_1952_36)
      & has_conj1(Z_000_62_A_DICK_1952_36,R_0062_0014__DROPPING)
      & r_0062_0014__dropping(R_0062_0014__DROPPING)
      & has_nim46(R_0062_0014__DROPPING,Z_000_62_A_DICK_1952_46)
      & z_000_62_a_dick_1952_46(Z_000_62_A_DICK_1952_46)
      & has_attrib47(Z_000_62_A_DICK_1952_46,R_0062_0018__MUCH)
      & r_0062_0018__much(R_0062_0018__MUCH)
      & has_r_0062_0019__as(R_0062_0018__MUCH,Z_000_62_A_DICK_1952_56)
      & has_qual48(R_0062_0018__MUCH,R_0062_0017__AS)
      & has_clr43(R_0062_0014__DROPPING,R_0062_0016__DOWN)
      & has_arg1(R_0062_0014__DROPPING,R_0062_0011__THE_R_0062_0012__SHIP)
      & has_arg0(R_0062_0014__DROPPING,R_0062_0008__THE_R_0062_0009__CAPTAIN)
      & has_conj2(Z_000_62_A_DICK_1952_36,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_0003__came(R_0062_0003__CAME)
      & has_r_0062_0004__over_clr14(R_0062_0003__CAME,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_attrib17(R_0062_0005__THE_R_0062_0007__DOTS,R_0062_0006__WHITE)
      & has_arg0(R_0062_0003__CAME,R_0062_0002__THEY) ) ).

( (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))