arc(r_0100_0003___apos_ll, r_0100_0004__have, scope).
arc(r_0100_0004__have, r_0100_0005__lost, scope).
arc(r_0100_0005__lost, r_0100_0002__They, arg0).
arc(r_0100_0005__lost, r_0100_0006__us, arg1).
arc(r_0100_0005__lost, r_0100_0008__now, r_0100_0007__by_nim23).
arc(r_0100_0009__and, r_0100_0003___apos_ll, conj1).
arc(r_0100_0009__and, r_0100_0010__will, conj2).
arc(r_0100_0010__will, r_0100_0011__be, scope).
arc(r_0100_0011__be, r_0100_0012__wondering, scope).
arc(r_0100_0012__wondering, r_0100_0002__They, arg0).
arc(r_0100_0012__wondering, z_000_100_a_lob_n01_38, arg1).
arc(r_0100_0015___apos_ve, r_0100_0016__got, scope).
arc(r_0100_0016__got, r_0100_0006__us, arg0).
arc(r_0100_0016__got, z_000_100_a_lob_n01_38, r_0100_0017__to_nim54).

fof(formula,axiom,
    ? [R_0100_0002__THEY,R_0100_0006__US,R_0100_0008__NOW,R_0100_0003___APOS_LL_R_0100_0004__HAVE_R_0100_0005__LOST,Z_000_100_A_LOB_N01_38,R_0100_0010__WILL_R_0100_0011__BE_R_0100_0012__WONDERING,R_0100_0009__AND,R_0100_0015___APOS_VE_R_0100_0016__GOT] :
      ( r_0100_0002__They(R_0100_0002__THEY)
      & r_0100_0006__us(R_0100_0006__US)
      & r_0100_0008__now(R_0100_0008__NOW)
      & z_000_100_a_lob_n01_38(Z_000_100_A_LOB_N01_38)
      & r_0100_0015___apos_ve_r_0100_0016__got(R_0100_0015___APOS_VE_R_0100_0016__GOT)
      & has_r_0100_0017__to_nim54(R_0100_0015___APOS_VE_R_0100_0016__GOT,Z_000_100_A_LOB_N01_38)
      & has_arg0(R_0100_0015___APOS_VE_R_0100_0016__GOT,R_0100_0006__US)
      & r_0100_0009__and(R_0100_0009__AND)
      & has_conj2(R_0100_0009__AND,R_0100_0010__WILL_R_0100_0011__BE_R_0100_0012__WONDERING)
      & r_0100_0010__will_r_0100_0011__be_r_0100_0012__wondering(R_0100_0010__WILL_R_0100_0011__BE_R_0100_0012__WONDERING)
      & has_arg1(R_0100_0010__WILL_R_0100_0011__BE_R_0100_0012__WONDERING,Z_000_100_A_LOB_N01_38)
      & has_arg0(R_0100_0010__WILL_R_0100_0011__BE_R_0100_0012__WONDERING,R_0100_0002__THEY)
      & has_conj1(R_0100_0009__AND,R_0100_0003___APOS_LL_R_0100_0004__HAVE_R_0100_0005__LOST)
      & r_0100_0003___apos_ll_r_0100_0004__have_r_0100_0005__lost(R_0100_0003___APOS_LL_R_0100_0004__HAVE_R_0100_0005__LOST)
      & has_r_0100_0007__by_nim23(R_0100_0003___APOS_LL_R_0100_0004__HAVE_R_0100_0005__LOST,R_0100_0008__NOW)
      & has_arg1(R_0100_0003___APOS_LL_R_0100_0004__HAVE_R_0100_0005__LOST,R_0100_0006__US)
      & has_arg0(R_0100_0003___APOS_LL_R_0100_0004__HAVE_R_0100_0005__LOST,R_0100_0002__THEY) ) ).

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{RADAR_BOYS} (PRO They;{they}))
          (ILYR (ILYR (MD;_cat_Vi_ <apos>ll;{will})
                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (VVN;__ lost;{lose})
                                              (NP-OB1 (PRO us;{we}))
                                              (PP-NIM (P-ROLE by;{by})
                                                      (ADVP (ADV now;{now}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                                         (IP-PPL-CAT (VAG;__ wondering;{wonder})
                                                     (NP-OB1 (IP-REL (ADVP-137 (RADV where;{where}))
                                                                     (NP-SBJ (PRO we;{we}))
                                                                     (HVP;_cat_Ve_ <apos>ve;{have})
                                                                     (IP-PPL-CAT (VVN;__ got;{get})
                                                                                 (PP-NIM (P-ROLE to;{to})
                                                                                         (ADVP *ICH*-137))))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 100_a_lob_n01))