( (CP-QUE-MAT (IP-SUB (PP-SCON (P-CONN If;{if})
                               (IP-ADV (ADVP-NIM (ADV so;{so}))))
                      (PUNC ,)
                      (ADVP-NIM (WADV why;{why}))
                      (HVD;_cat_Ve_ had;{have})
                      (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                      (IP-PPL-CAT (VVN;_cat_Vt_ troubled;{trouble})
                                  (IP-INF-CAT (TO to;{to})
                                              (VB;_Tn_ bring;{bring})
                                              (NP-OB1 (NP-GEN;{EVE} (PRO;_genm_ her;{her}))
                                                      (N body;{body}))))
                      (NP-NIM (Q;_nphd_ all;{all})
                              (NLYR (D the;{the})
                                    (N way;{way})
                                    (PP (P-ROLE from;{from})
                                        (NP (NPR Trento;{Trento}))))))
              (PUNC ?))
  (ID 61_a_lob_n01))

arc(r_0061_0001__If,r_0061_0012__all__quant,scope).
arc(r_0061_0001__If,z_0061_5005,restriction).
arc(r_0061_0005__had,r_0061_0004__why,nim).
arc(r_0061_0005__had,r_0061_0007__troubled,scope).
arc(r_0061_0005__had,z_0061_5011,nim).
arc(r_0061_0007__troubled,r_0061_0009__bring,scope).
arc(r_0061_0009__bring,r_0061_0006__they,arg0).
arc(r_0061_0009__bring,r_0061_0011__body,arg1).
arc(r_0061_0011__body,r_0061_0010__her,gen).
arc(r_0061_0012__all__quant,r_0061_0005__had,scope).
arc(r_0061_0012__all__quant,z_0061_5011,restriction).
arc(r_0061_0013__the_r_0061_0014__way,r_0061_0016__Trento,r_0061_0015__from).
arc(z_0061_5005,r_0061_0002__so,nim).
arc(z_0061_5005,z_0061_5003,arg0).
arc(z_0061_5011,r_0061_0013__the_r_0061_0014__way,nim).

fof(formula,axiom,
    ! [Z_0061_5005,R_0061_0002__SO,Z_0061_5003] :
      ( ( r_0061_0002__so(R_0061_0002__SO)
        & z_0061_5003(Z_0061_5003)
        & z_0061_5005(Z_0061_5005)
        & has_arg0(Z_0061_5005,Z_0061_5003)
        & has_nim(Z_0061_5005,R_0061_0002__SO) )
     => ! [Z_0061_5011,R_0061_0016__TRENTO,R_0061_0013__THE_R_0061_0014__WAY] :
          ( ( r_0061_0016__Trento(R_0061_0016__TRENTO)
            & z_0061_5011(Z_0061_5011)
            & has_nim(Z_0061_5011,R_0061_0013__THE_R_0061_0014__WAY)
            & r_0061_0013__the_r_0061_0014__way(R_0061_0013__THE_R_0061_0014__WAY)
            & has_r_0061_0015__from(R_0061_0013__THE_R_0061_0014__WAY,R_0061_0016__TRENTO) )
         => ? [R_0061_0004__WHY,R_0061_0006__THEY,R_0061_0010__HER,R_0061_0011__BODY,R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0009__BRING] :
              ( r_0061_0004__why(R_0061_0004__WHY)
              & r_0061_0006__they(R_0061_0006__THEY)
              & r_0061_0010__her(R_0061_0010__HER)
              & r_0061_0005__had_r_0061_0007__troubled_r_0061_0009__bring(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0009__BRING)
              & has_arg1(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0009__BRING,R_0061_0011__BODY)
              & r_0061_0011__body(R_0061_0011__BODY)
              & has_gen(R_0061_0011__BODY,R_0061_0010__HER)
              & has_arg0(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0009__BRING,R_0061_0006__THEY)
              & has_nim(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0009__BRING,Z_0061_5011)
              & has_nim(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0009__BRING,R_0061_0004__WHY) ) ) ) ).