Context                Previous, Next                Top


100_a_lob_n01
‘They'll have lost us by now and will be wondering where we've got to.’

%3 r_0100_0003___apos_ll 'll r_0100_0004__have have r_0100_0003___apos_ll->r_0100_0004__have [scope] r_0100_0005__lost lost r_0100_0004__have->r_0100_0005__lost [scope] r_0100_0002__They They r_0100_0005__lost->r_0100_0002__They [arg0] r_0100_0006__us us r_0100_0005__lost->r_0100_0006__us [arg1] r_0100_0008__now now r_0100_0005__lost->r_0100_0008__now by [nim] r_0100_0009__and and r_0100_0009__and->r_0100_0003___apos_ll [conj1] r_0100_0010__will will r_0100_0009__and->r_0100_0010__will [conj2] r_0100_0011__be be r_0100_0010__will->r_0100_0011__be [scope] r_0100_0012__wondering wondering r_0100_0011__be->r_0100_0012__wondering [scope] r_0100_0012__wondering->r_0100_0002__They [arg0] z_000_100_a_lob_n01_38 r_0100_0012__wondering->z_000_100_a_lob_n01_38 [arg1] r_0100_0015___apos_ve 've r_0100_0016__got got r_0100_0015___apos_ve->r_0100_0016__got [scope] r_0100_0016__got->r_0100_0006__us [arg0] r_0100_0016__got->z_000_100_a_lob_n01_38 to [nim] 
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).


%3 r_0100_0015___apos_ve_r_0100_0016__got 've got z_000_100_a_lob_n01_38 r_0100_0015___apos_ve_r_0100_0016__got->z_000_100_a_lob_n01_38 to [nim] r_0100_0006__us us r_0100_0015___apos_ve_r_0100_0016__got->r_0100_0006__us [arg0] r_0100_0010__will_r_0100_0011__be_r_0100_0012__wondering will be wondering r_0100_0010__will_r_0100_0011__be_r_0100_0012__wondering->z_000_100_a_lob_n01_38 [arg1] r_0100_0002__They They r_0100_0010__will_r_0100_0011__be_r_0100_0012__wondering->r_0100_0002__They [arg0] r_0100_0009__and and r_0100_0009__and->r_0100_0010__will_r_0100_0011__be_r_0100_0012__wondering [conj2] r_0100_0003___apos_ll_r_0100_0004__have_r_0100_0005__lost 'll have lost r_0100_0009__and->r_0100_0003___apos_ll_r_0100_0004__have_r_0100_0005__lost [conj1] r_0100_0003___apos_ll_r_0100_0004__have_r_0100_0005__lost->r_0100_0006__us [arg1] r_0100_0003___apos_ll_r_0100_0004__have_r_0100_0005__lost->r_0100_0002__They [arg0] r_0100_0008__now now r_0100_0003___apos_ll_r_0100_0004__have_r_0100_0005__lost->r_0100_0008__now by [nim] 
fof(formula,axiom,
    ? [R_100_9_AND,R_100_3__APOS_LL_HAVE_LOST,R_100_8_NOW,R_100_10_WILL_BE_WONDERING,R_100_2_THEY,R_100_15__APOS_VE_GOT,R_100_6_US,Z_100_A_LOB_N01_38] :
      ( now(R_100_8_NOW)
      & they(R_100_2_THEY)
      & us(R_100_6_US)
      & and(R_100_9_AND)
      & conj1(R_100_9_AND,R_100_3__APOS_LL_HAVE_LOST)
      & _apos_ll_have_lost(R_100_3__APOS_LL_HAVE_LOST,R_100_2_THEY,R_100_6_US)
      & by_nim23(R_100_3__APOS_LL_HAVE_LOST,R_100_8_NOW)
      & conj2(R_100_9_AND,R_100_10_WILL_BE_WONDERING)
      & will_be_wondering(R_100_10_WILL_BE_WONDERING,R_100_2_THEY,Z_100_A_LOB_N01_38)
      & _apos_ve_got(R_100_15__APOS_VE_GOT,R_100_6_US)
      & to_nim54(R_100_15__APOS_VE_GOT,Z_100_A_LOB_N01_38) ) ).


n100_a_lob_n01 n100_a_lob_n01__1_1_1 <lquo> n100_a_lob_n01__1_2_1_1 They n100_a_lob_n01__1_3_1_1_1 'll n100_a_lob_n01__1_3_1_2_1_1 have n100_a_lob_n01__1_3_1_2_2_1_1 lost n100_a_lob_n01__1_3_1_2_2_2_1_1 us n100_a_lob_n01__1_3_1_2_2_3_1_1 by n100_a_lob_n01__1_3_1_2_2_3_2_1_1 now n100_a_lob_n01__1_3_2_1_1 and n100_a_lob_n01__1_3_2_2_1_1 will n100_a_lob_n01__1_3_2_2_2_1_1 be n100_a_lob_n01__1_3_2_2_2_2_1_1 wondering n100_a_lob_n01__1_3_2_2_2_2_2_1_1_1_1 where n100_a_lob_n01__1_3_2_2_2_2_2_1_2_1_1 we n100_a_lob_n01__1_3_2_2_2_2_2_1_3_1 've n100_a_lob_n01__1_3_2_2_2_2_2_1_4_1_1 got n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_1_1 to n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_2_1 *ICH*-137 n100_a_lob_n01__1_4_1 . n100_a_lob_n01__1_5_1 <rquo> n100_a_lob_n01__1 IP-MAT n100_a_lob_n01__1_1 PULQ n100_a_lob_n01__1->n100_a_lob_n01__1_1 n100_a_lob_n01__1_2 NP-SBJ n100_a_lob_n01__1->n100_a_lob_n01__1_2 n100_a_lob_n01__1_3 ILYR n100_a_lob_n01__1->n100_a_lob_n01__1_3 n100_a_lob_n01__1_4 PUNC n100_a_lob_n01__1->n100_a_lob_n01__1_4 n100_a_lob_n01__1_5 PURQ n100_a_lob_n01__1->n100_a_lob_n01__1_5 n100_a_lob_n01__1_1->n100_a_lob_n01__1_1_1 n100_a_lob_n01__1_2_1 PRO n100_a_lob_n01__1_2->n100_a_lob_n01__1_2_1 n100_a_lob_n01__1_2_1->n100_a_lob_n01__1_2_1_1 n100_a_lob_n01__1_3_1 ILYR n100_a_lob_n01__1_3->n100_a_lob_n01__1_3_1 n100_a_lob_n01__1_3_2 CONJP n100_a_lob_n01__1_3->n100_a_lob_n01__1_3_2 n100_a_lob_n01__1_3_1_1 MD;_cat_Vi_ n100_a_lob_n01__1_3_1->n100_a_lob_n01__1_3_1_1 n100_a_lob_n01__1_3_1_2 IP-INF-CAT n100_a_lob_n01__1_3_1->n100_a_lob_n01__1_3_1_2 n100_a_lob_n01__1_3_1_1->n100_a_lob_n01__1_3_1_1_1 n100_a_lob_n01__1_3_1_2_1 HV;_cat_Ve_ n100_a_lob_n01__1_3_1_2->n100_a_lob_n01__1_3_1_2_1 n100_a_lob_n01__1_3_1_2_2 IP-PPL-CAT n100_a_lob_n01__1_3_1_2->n100_a_lob_n01__1_3_1_2_2 n100_a_lob_n01__1_3_1_2_1->n100_a_lob_n01__1_3_1_2_1_1 n100_a_lob_n01__1_3_1_2_2_1 VVN;__ n100_a_lob_n01__1_3_1_2_2->n100_a_lob_n01__1_3_1_2_2_1 n100_a_lob_n01__1_3_1_2_2_2 NP-OB1 n100_a_lob_n01__1_3_1_2_2->n100_a_lob_n01__1_3_1_2_2_2 n100_a_lob_n01__1_3_1_2_2_3 PP-NIM n100_a_lob_n01__1_3_1_2_2->n100_a_lob_n01__1_3_1_2_2_3 n100_a_lob_n01__1_3_1_2_2_1->n100_a_lob_n01__1_3_1_2_2_1_1 n100_a_lob_n01__1_3_1_2_2_2_1 PRO n100_a_lob_n01__1_3_1_2_2_2->n100_a_lob_n01__1_3_1_2_2_2_1 n100_a_lob_n01__1_3_1_2_2_2_1->n100_a_lob_n01__1_3_1_2_2_2_1_1 n100_a_lob_n01__1_3_1_2_2_3_1 P-ROLE n100_a_lob_n01__1_3_1_2_2_3->n100_a_lob_n01__1_3_1_2_2_3_1 n100_a_lob_n01__1_3_1_2_2_3_2 ADVP n100_a_lob_n01__1_3_1_2_2_3->n100_a_lob_n01__1_3_1_2_2_3_2 n100_a_lob_n01__1_3_1_2_2_3_1->n100_a_lob_n01__1_3_1_2_2_3_1_1 n100_a_lob_n01__1_3_1_2_2_3_2_1 ADV n100_a_lob_n01__1_3_1_2_2_3_2->n100_a_lob_n01__1_3_1_2_2_3_2_1 n100_a_lob_n01__1_3_1_2_2_3_2_1->n100_a_lob_n01__1_3_1_2_2_3_2_1_1 n100_a_lob_n01__1_3_2_1 CONJ n100_a_lob_n01__1_3_2->n100_a_lob_n01__1_3_2_1 n100_a_lob_n01__1_3_2_2 ILYR n100_a_lob_n01__1_3_2->n100_a_lob_n01__1_3_2_2 n100_a_lob_n01__1_3_2_1->n100_a_lob_n01__1_3_2_1_1 n100_a_lob_n01__1_3_2_2_1 MD;_cat_Vi_ n100_a_lob_n01__1_3_2_2->n100_a_lob_n01__1_3_2_2_1 n100_a_lob_n01__1_3_2_2_2 IP-INF-CAT n100_a_lob_n01__1_3_2_2->n100_a_lob_n01__1_3_2_2_2 n100_a_lob_n01__1_3_2_2_1->n100_a_lob_n01__1_3_2_2_1_1 n100_a_lob_n01__1_3_2_2_2_1 BE;_cat_Vg_ n100_a_lob_n01__1_3_2_2_2->n100_a_lob_n01__1_3_2_2_2_1 n100_a_lob_n01__1_3_2_2_2_2 IP-PPL-CAT n100_a_lob_n01__1_3_2_2_2->n100_a_lob_n01__1_3_2_2_2_2 n100_a_lob_n01__1_3_2_2_2_1->n100_a_lob_n01__1_3_2_2_2_1_1 n100_a_lob_n01__1_3_2_2_2_2_1 VAG;__ n100_a_lob_n01__1_3_2_2_2_2->n100_a_lob_n01__1_3_2_2_2_2_1 n100_a_lob_n01__1_3_2_2_2_2_2 NP-OB1 n100_a_lob_n01__1_3_2_2_2_2->n100_a_lob_n01__1_3_2_2_2_2_2 n100_a_lob_n01__1_3_2_2_2_2_1->n100_a_lob_n01__1_3_2_2_2_2_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1 IP-REL n100_a_lob_n01__1_3_2_2_2_2_2->n100_a_lob_n01__1_3_2_2_2_2_2_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_1 ADVP-137 n100_a_lob_n01__1_3_2_2_2_2_2_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_2 NP-SBJ n100_a_lob_n01__1_3_2_2_2_2_2_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_2 n100_a_lob_n01__1_3_2_2_2_2_2_1_3 HVP;_cat_Ve_ n100_a_lob_n01__1_3_2_2_2_2_2_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_3 n100_a_lob_n01__1_3_2_2_2_2_2_1_4 IP-PPL-CAT n100_a_lob_n01__1_3_2_2_2_2_2_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_4 n100_a_lob_n01__1_3_2_2_2_2_2_1_1_1 RADV n100_a_lob_n01__1_3_2_2_2_2_2_1_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_1_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_1_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_2_1 PRO n100_a_lob_n01__1_3_2_2_2_2_2_1_2->n100_a_lob_n01__1_3_2_2_2_2_2_1_2_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_2_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_2_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_3->n100_a_lob_n01__1_3_2_2_2_2_2_1_3_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_1 VVN;__ n100_a_lob_n01__1_3_2_2_2_2_2_1_4->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2 PP-NIM n100_a_lob_n01__1_3_2_2_2_2_2_1_4->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_1 P-ROLE n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_2 ADVP n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_2 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_1->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_1_1 n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_2->n100_a_lob_n01__1_3_2_2_2_2_2_1_4_2_2_1 n100_a_lob_n01__1_4->n100_a_lob_n01__1_4_1 n100_a_lob_n01__1_5->n100_a_lob_n01__1_5_1 
( (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))