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

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__nim).
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,r_0100_0013__where,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,r_0100_0013__where,r_0100_0017__to__nim).

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,R_0100_0013__WHERE,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)
      & r_0100_0013__where(R_0100_0013__WHERE)
      & r_0100_0015___apos_ve_r_0100_0016__got(R_0100_0015___APOS_VE_R_0100_0016__GOT)
      & has_r_0100_0017__to__nim(R_0100_0015___APOS_VE_R_0100_0016__GOT,R_0100_0013__WHERE)
      & 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,R_0100_0013__WHERE)
      & 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__nim(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) ) ).