arc(r_0061_0001__If, r_0061_0012__all_quant, scope).
arc(r_0061_0001__If, z_000_61_a_lob_n01_6, restriction).
arc(r_0061_0005__had, r_0061_0004__why, nim12).
arc(r_0061_0005__had, r_0061_0007__troubled, scope).
arc(r_0061_0005__had, r_0061_0013__the_r_0061_0014__way, nim34).
arc(r_0061_0007__troubled, r_0061_0008__to_r_0061_0009__bring, scope).
arc(r_0061_0008__to_r_0061_0009__bring, r_0061_0006__they, arg0).
arc(r_0061_0008__to_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, r_0061_0013__the_r_0061_0014__way, restriction).
arc(r_0061_0013__the_r_0061_0014__way, r_0061_0016__Trento, r_0061_0015__from).
arc(z_000_61_a_lob_n01_6, r_0061_0002__so, nim7).

fof(formula,axiom,
    ! [Z_000_61_A_LOB_N01_6,R_0061_0002__SO] :
      ( ( r_0061_0002__so(R_0061_0002__SO)
        & z_000_61_a_lob_n01_6(Z_000_61_A_LOB_N01_6)
        & has_nim7(Z_000_61_A_LOB_N01_6,R_0061_0002__SO) )
     => ! [R_0061_0013__THE_R_0061_0014__WAY,R_0061_0016__TRENTO] :
          ( ( r_0061_0016__Trento(R_0061_0016__TRENTO)
            & 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_0008__TO_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_0008__to_r_0061_0009__bring(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0008__TO_R_0061_0009__BRING)
              & has_arg1(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0008__TO_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_0008__TO_R_0061_0009__BRING,R_0061_0006__THEY)
              & has_nim34(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0008__TO_R_0061_0009__BRING,R_0061_0013__THE_R_0061_0014__WAY)
              & has_nim12(R_0061_0005__HAD_R_0061_0007__TROUBLED_R_0061_0008__TO_R_0061_0009__BRING,R_0061_0004__WHY) ) ) ) ).

( (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})
                              (D the;{the})
                              (N way;{way})
                              (PP (P-ROLE from;{from})
                                  (NP (NPR Trento;{Trento})))))
              (PUNC ?))
  (ID 61_a_lob_n01))