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_61_A_LOB_N01_6,R_61_2_SO] :
      ( ( so(R_61_2_SO)
        & z_61_a_lob_n01_6(Z_61_A_LOB_N01_6)
        & nim7(Z_61_A_LOB_N01_6,R_61_2_SO) )
     => ! [R_61_13_THE_WAY,R_61_16_TRENTO] :
          ( ( trento(R_61_16_TRENTO)
            & the_way(R_61_13_THE_WAY)
            & from(R_61_13_THE_WAY,R_61_16_TRENTO) )
         => ? [R_61_5_HAD_TROUBLED_TO_BRING,R_61_6_THEY,R_61_11_BODY,R_61_10_HER,R_61_4_WHY] :
              ( they(R_61_6_THEY)
              & her(R_61_10_HER)
              & why(R_61_4_WHY)
              & had_troubled_to_bring(R_61_5_HAD_TROUBLED_TO_BRING,R_61_6_THEY,R_61_11_BODY)
              & body(R_61_11_BODY)
              & gen(R_61_11_BODY,R_61_10_HER)
              & nim12(R_61_5_HAD_TROUBLED_TO_BRING,R_61_4_WHY)
              & nim34(R_61_5_HAD_TROUBLED_TO_BRING,R_61_13_THE_WAY) ) ) ) ).

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