( (IP-MAT (ILYR (ILYR (NP-SBJ;{SHIP} (D The;{the})
                                     (N ship;{ship}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (ADVP-NIM (ADV badly;{badly}))
                                              (VVN;_Tn_ hurt;{hurt}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (ADJP (ADJ much;{much})))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                 (VVN;_Tn_ damaged;{damage}))
                                                           (CONJP (CONJ and;{and})
                                                                  (ILYR (NP-LGS *)
                                                                        (VVN;_Tn_ lost;{lose})))))))))
          (PUNC .))
  (ID 577_a_dick_1952))

arc(r_0577_0003__had,r_0577_0004__been,scope).
arc(r_0577_0004__been,r_0577_0006__hurt,scope).
arc(r_0577_0006__hurt,r_0577_0001__The_r_0577_0002__ship,arg1).
arc(r_0577_0006__hurt,r_0577_0005__badly,nim).
arc(r_0577_0006__hurt,z_0577_5006___star_,arg0).
arc(r_0577_0009__had,r_0577_0010__been,scope).
arc(r_0577_0010__been,r_0577_0012__and,scope).
arc(r_0577_0011__damaged,z_0577_5012,arg1).
arc(r_0577_0011__damaged,z_0577_5015___star_,arg0).
arc(r_0577_0012__and,r_0577_0011__damaged,conj1).
arc(r_0577_0012__and,r_0577_0013__lost,conj2).
arc(r_0577_0013__lost,z_0577_5012,arg1).
arc(r_0577_0013__lost,z_0577_5017___star_,arg0).
arc(z_0577_5001,r_0577_0003__had,conj1).
arc(z_0577_5001,r_0577_0009__had,conj2).
arc(z_0577_5012,r_0577_0008__much,attrib).

fof(formula,axiom,
    ? [R_0577_0001__THE_R_0577_0002__SHIP,R_0577_0005__BADLY,Z_0577_5006___STAR_,R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,R_0577_0008__MUCH,Z_0577_5012,Z_0577_5015___STAR_,R_0577_0011__DAMAGED,Z_0577_5017___STAR_,R_0577_0013__LOST,R_0577_0012__AND,R_0577_0009__HAD_R_0577_0010__BEEN,Z_0577_5001] :
      ( r_0577_0001__The_r_0577_0002__ship(R_0577_0001__THE_R_0577_0002__SHIP)
      & r_0577_0005__badly(R_0577_0005__BADLY)
      & r_0577_0008__much(R_0577_0008__MUCH)
      & z_0577_5006___star_(Z_0577_5006___STAR_)
      & z_0577_5015___star_(Z_0577_5015___STAR_)
      & z_0577_5017___star_(Z_0577_5017___STAR_)
      & z_0577_5001(Z_0577_5001)
      & has_conj2(Z_0577_5001,R_0577_0009__HAD_R_0577_0010__BEEN)
      & r_0577_0009__had_r_0577_0010__been(R_0577_0009__HAD_R_0577_0010__BEEN)
      & has_keep_scope(R_0577_0009__HAD_R_0577_0010__BEEN,R_0577_0012__AND)
      & r_0577_0012__and(R_0577_0012__AND)
      & has_conj2(R_0577_0012__AND,R_0577_0013__LOST)
      & r_0577_0013__lost(R_0577_0013__LOST)
      & has_arg0(R_0577_0013__LOST,Z_0577_5017___STAR_)
      & has_arg1(R_0577_0013__LOST,Z_0577_5012)
      & z_0577_5012(Z_0577_5012)
      & has_attrib(Z_0577_5012,R_0577_0008__MUCH)
      & has_conj1(R_0577_0012__AND,R_0577_0011__DAMAGED)
      & r_0577_0011__damaged(R_0577_0011__DAMAGED)
      & has_arg0(R_0577_0011__DAMAGED,Z_0577_5015___STAR_)
      & has_arg1(R_0577_0011__DAMAGED,Z_0577_5012)
      & has_conj1(Z_0577_5001,R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT)
      & r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT)
      & has_arg0(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,Z_0577_5006___STAR_)
      & has_nim(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,R_0577_0005__BADLY)
      & has_arg1(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,R_0577_0001__THE_R_0577_0002__SHIP) ) ).