TSPC 62_a_lob

62_a_lob_n01
There were a hundred places between Trento and the Po where they could have dumped her body without fear of it being prematurely discovered.

( (IP-MAT (EX There;{there})
          (BED;_ex_Vpr_ were;{be})
          (NP-ESBJ;{DUMPING_PLACES} (D a;{a})
                                    (N hundred;{hundred})
                                    (NS places;{place})
                                    (IP-REL *ICH*-172))
          (PP-CLR (P-ROLE between;{between})
                  (NP (NLYR (NLYR (NPR Trento;{Trento}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (D the;{the})
                                         (N Po;{po}))))))
          (IP-REL-EPD-172 (ADVP-NIM (RADV where;{where}))
                          (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                          (MD;_cat_Vi_ could;{can})
                          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                      (IP-PPL-CAT (VVN;__ dumped;{dump})
                                                  (NP-OB1;{EVE_BODY} (NP-GEN;{EVE} (PRO;_genm_ her;{her}))
                                                                     (N body;{body}))
                                                  (PP-NIM (P-ROLE without;{without})
                                                          (NP (N fear;{fear})
                                                              (PP (P-ROLE of;{of})
                                                                  (IP-PPL3 (NP-SBJ;{EVE_BODY} (PRO it;{it}))
                                                                           (BAG;_cat_VePASS_ being;{be})
                                                                           (IP-PPL-CAT (NP-LGS *)
                                                                                       (ADVP-NIM (ADV prematurely;{prematurely}))
                                                                                       (VVN;_Tn_ discovered;{discover})))))))))
          (PUNC .))
  (ID 62_a_lob_n01))

arc(r_0062_0002__were_r_0062_0006__between,r_0062_0003__a_r_0062_0004__hundred_r_0062_0005__places,arg0).
arc(r_0062_0002__were_r_0062_0006__between,r_0062_0008__and,arg1).
arc(r_0062_0008__and,r_0062_0007__Trento,conj1).
arc(r_0062_0008__and,r_0062_0009__the_r_0062_0010__Po,conj2).
arc(r_0062_0013__could,r_0062_0003__a_r_0062_0004__hundred_r_0062_0005__places,nim).
arc(r_0062_0013__could,r_0062_0014__have,scope).
arc(r_0062_0014__have,r_0062_0015__dumped,scope).
arc(r_0062_0015__dumped,r_0062_0012__they,arg0).
arc(r_0062_0015__dumped,r_0062_0017__body,arg1).
arc(r_0062_0015__dumped,r_0062_0019__fear,r_0062_0018__without__nim).
arc(r_0062_0017__body,r_0062_0016__her,gen).
arc(r_0062_0019__fear,r_0062_0022__being,r_0062_0020__of).
arc(r_0062_0022__being,r_0062_0024__discovered,scope).
arc(r_0062_0024__discovered,r_0062_0017__body,arg1).
arc(r_0062_0024__discovered,r_0062_0023__prematurely,nim).
arc(r_0062_0024__discovered,z_0062_5012___star_,arg0).

fof(formula,axiom,
    ? [R_0062_0003__A_R_0062_0004__HUNDRED_R_0062_0005__PLACES,R_0062_0007__TRENTO,R_0062_0009__THE_R_0062_0010__PO,R_0062_0008__AND,R_0062_0002__WERE_R_0062_0006__BETWEEN,R_0062_0012__THEY,R_0062_0016__HER,R_0062_0017__BODY,R_0062_0023__PREMATURELY,Z_0062_5012___STAR_,R_0062_0022__BEING_R_0062_0024__DISCOVERED,R_0062_0019__FEAR,R_0062_0013__COULD_R_0062_0014__HAVE_R_0062_0015__DUMPED] :
      ( r_0062_0003__a_r_0062_0004__hundred_r_0062_0005__places(R_0062_0003__A_R_0062_0004__HUNDRED_R_0062_0005__PLACES)
      & r_0062_0007__Trento(R_0062_0007__TRENTO)
      & r_0062_0009__the_r_0062_0010__Po(R_0062_0009__THE_R_0062_0010__PO)
      & r_0062_0012__they(R_0062_0012__THEY)
      & r_0062_0016__her(R_0062_0016__HER)
      & r_0062_0023__prematurely(R_0062_0023__PREMATURELY)
      & z_0062_5012___star_(Z_0062_5012___STAR_)
      & r_0062_0013__could_r_0062_0014__have_r_0062_0015__dumped(R_0062_0013__COULD_R_0062_0014__HAVE_R_0062_0015__DUMPED)
      & has_r_0062_0018__without__nim(R_0062_0013__COULD_R_0062_0014__HAVE_R_0062_0015__DUMPED,R_0062_0019__FEAR)
      & r_0062_0019__fear(R_0062_0019__FEAR)
      & has_r_0062_0020__of(R_0062_0019__FEAR,R_0062_0022__BEING_R_0062_0024__DISCOVERED)
      & r_0062_0022__being_r_0062_0024__discovered(R_0062_0022__BEING_R_0062_0024__DISCOVERED)
      & has_arg0(R_0062_0022__BEING_R_0062_0024__DISCOVERED,Z_0062_5012___STAR_)
      & has_nim(R_0062_0022__BEING_R_0062_0024__DISCOVERED,R_0062_0023__PREMATURELY)
      & has_arg1(R_0062_0022__BEING_R_0062_0024__DISCOVERED,R_0062_0017__BODY)
      & r_0062_0017__body(R_0062_0017__BODY)
      & has_gen(R_0062_0017__BODY,R_0062_0016__HER)
      & has_arg1(R_0062_0013__COULD_R_0062_0014__HAVE_R_0062_0015__DUMPED,R_0062_0017__BODY)
      & has_arg0(R_0062_0013__COULD_R_0062_0014__HAVE_R_0062_0015__DUMPED,R_0062_0012__THEY)
      & has_nim(R_0062_0013__COULD_R_0062_0014__HAVE_R_0062_0015__DUMPED,R_0062_0003__A_R_0062_0004__HUNDRED_R_0062_0005__PLACES)
      & r_0062_0002__were_r_0062_0006__between(R_0062_0002__WERE_R_0062_0006__BETWEEN)
      & has_arg1(R_0062_0002__WERE_R_0062_0006__BETWEEN,R_0062_0008__AND)
      & r_0062_0008__and(R_0062_0008__AND)
      & has_conj2(R_0062_0008__AND,R_0062_0009__THE_R_0062_0010__PO)
      & has_conj1(R_0062_0008__AND,R_0062_0007__TRENTO)
      & has_arg0(R_0062_0002__WERE_R_0062_0006__BETWEEN,R_0062_0003__A_R_0062_0004__HUNDRED_R_0062_0005__PLACES) ) ).