Context                Previous, Next                Top


126_a_loosechange
They had been in England for three days but they knew no one here.

%3 r_0126_0002__had had r_0126_0003__been been r_0126_0002__had->r_0126_0003__been [scope] r_0126_0001__They They r_0126_0003__been->r_0126_0001__They [arg0] r_0126_0005__England England r_0126_0003__been->r_0126_0005__England in [clr] r_0126_0007__three_r_0126_0008__days three days r_0126_0003__been->r_0126_0007__three_r_0126_0008__days for [nim] r_0126_0009__but but r_0126_0009__but->r_0126_0002__had [conj1] r_0126_0012__no_quant no [quant] r_0126_0009__but->r_0126_0012__no_quant [conj2] r_0126_0011__knew knew r_0126_0012__no_quant->r_0126_0011__knew [scope] r_0126_0013__one one r_0126_0012__no_quant->r_0126_0013__one [restriction] r_0126_0010__they they r_0126_0011__knew->r_0126_0010__they [arg0] r_0126_0011__knew->r_0126_0013__one [arg1] r_0126_0014__here here r_0126_0011__knew->r_0126_0014__here [nim] 
arc(r_0126_0002__had, r_0126_0003__been, scope).
arc(r_0126_0003__been, r_0126_0001__They, arg0).
arc(r_0126_0003__been, r_0126_0005__England, r_0126_0004__in_clr15).
arc(r_0126_0003__been, r_0126_0007__three_r_0126_0008__days, r_0126_0006__for_nim21).
arc(r_0126_0009__but, r_0126_0002__had, conj1).
arc(r_0126_0009__but, r_0126_0012__no_quant, conj2).
arc(r_0126_0011__knew, r_0126_0010__they, arg0).
arc(r_0126_0011__knew, r_0126_0013__one, arg1).
arc(r_0126_0011__knew, r_0126_0014__here, nim40).
arc(r_0126_0012__no_quant, r_0126_0011__knew, scope).
arc(r_0126_0012__no_quant, r_0126_0013__one, restriction).


%3 r_0126_0012__no_quant no [quant] r_0126_0013__one one r_0126_0012__no_quant->r_0126_0013__one [restriction] r_0126_0011__knew knew r_0126_0012__no_quant->r_0126_0011__knew [scope] r_0126_0011__knew->r_0126_0013__one [arg1] r_0126_0014__here here r_0126_0011__knew->r_0126_0014__here [nim] r_0126_0010__they they r_0126_0011__knew->r_0126_0010__they [arg0] r_0126_0009__but but r_0126_0009__but->r_0126_0012__no_quant [conj2] r_0126_0002__had_r_0126_0003__been had been r_0126_0009__but->r_0126_0002__had_r_0126_0003__been [conj1] r_0126_0007__three_r_0126_0008__days three days r_0126_0002__had_r_0126_0003__been->r_0126_0007__three_r_0126_0008__days for [nim] r_0126_0005__England England r_0126_0002__had_r_0126_0003__been->r_0126_0005__England in [clr] r_0126_0001__They They r_0126_0002__had_r_0126_0003__been->r_0126_0001__They [arg0] 
fof(formula,axiom,
    ? [R_126_9_BUT,R_126_2_HAD_BEEN,R_126_1_THEY,R_126_5_ENGLAND,R_126_7_THREE_DAYS] :
      ( they(R_126_1_THEY)
      & england(R_126_5_ENGLAND)
      & three_days(R_126_7_THREE_DAYS)
      & ! [R_126_13_ONE] :
          ( one(R_126_13_ONE)
         => ? [R_126_11_KNEW,R_126_10_THEY,R_126_14_HERE] :
              ( they(R_126_10_THEY)
              & here(R_126_14_HERE)
              & knew(R_126_11_KNEW,R_126_10_THEY,R_126_13_ONE)
              & nim40(R_126_11_KNEW,R_126_14_HERE) ) )
      & conj2(CONJ2)
      & but(R_126_9_BUT)
      & conj1(R_126_9_BUT,R_126_2_HAD_BEEN)
      & had_been(R_126_2_HAD_BEEN,R_126_1_THEY)
      & in_clr15(R_126_2_HAD_BEEN,R_126_5_ENGLAND)
      & for_nim21(R_126_2_HAD_BEEN,R_126_7_THREE_DAYS) ) ).


n126_a_loosechange n126_a_loosechange__1_1_1_1_1_1 They n126_a_loosechange__1_1_1_2_1 had n126_a_loosechange__1_1_1_3_1_1 been n126_a_loosechange__1_1_1_3_2_1_1 in n126_a_loosechange__1_1_1_3_2_2_1_1 England n126_a_loosechange__1_1_1_3_3_1_1 for n126_a_loosechange__1_1_1_3_3_2_1_1 three n126_a_loosechange__1_1_1_3_3_2_2_1 days n126_a_loosechange__1_1_2_1_1 but n126_a_loosechange__1_1_2_2_1_1_1 they n126_a_loosechange__1_1_2_2_2_1 knew n126_a_loosechange__1_1_2_2_3_1_1 no n126_a_loosechange__1_1_2_2_3_2_1 one n126_a_loosechange__1_1_2_2_4_1_1 here n126_a_loosechange__1_2_1 . n126_a_loosechange__1 IP-MAT n126_a_loosechange__1_1 ILYR n126_a_loosechange__1->n126_a_loosechange__1_1 n126_a_loosechange__1_2 PUNC n126_a_loosechange__1->n126_a_loosechange__1_2 n126_a_loosechange__1_1_1 ILYR n126_a_loosechange__1_1->n126_a_loosechange__1_1_1 n126_a_loosechange__1_1_2 CONJP n126_a_loosechange__1_1->n126_a_loosechange__1_1_2 n126_a_loosechange__1_1_1_1 NP-SBJ n126_a_loosechange__1_1_1->n126_a_loosechange__1_1_1_1 n126_a_loosechange__1_1_1_2 HVD;_cat_Ve_ n126_a_loosechange__1_1_1->n126_a_loosechange__1_1_1_2 n126_a_loosechange__1_1_1_3 IP-PPL-CAT n126_a_loosechange__1_1_1->n126_a_loosechange__1_1_1_3 n126_a_loosechange__1_1_1_1_1 PRO n126_a_loosechange__1_1_1_1->n126_a_loosechange__1_1_1_1_1 n126_a_loosechange__1_1_1_1_1->n126_a_loosechange__1_1_1_1_1_1 n126_a_loosechange__1_1_1_2->n126_a_loosechange__1_1_1_2_1 n126_a_loosechange__1_1_1_3_1 BEN;_Ipr_ n126_a_loosechange__1_1_1_3->n126_a_loosechange__1_1_1_3_1 n126_a_loosechange__1_1_1_3_2 PP-CLR n126_a_loosechange__1_1_1_3->n126_a_loosechange__1_1_1_3_2 n126_a_loosechange__1_1_1_3_3 PP-NIM n126_a_loosechange__1_1_1_3->n126_a_loosechange__1_1_1_3_3 n126_a_loosechange__1_1_1_3_1->n126_a_loosechange__1_1_1_3_1_1 n126_a_loosechange__1_1_1_3_2_1 P-ROLE n126_a_loosechange__1_1_1_3_2->n126_a_loosechange__1_1_1_3_2_1 n126_a_loosechange__1_1_1_3_2_2 NP n126_a_loosechange__1_1_1_3_2->n126_a_loosechange__1_1_1_3_2_2 n126_a_loosechange__1_1_1_3_2_1->n126_a_loosechange__1_1_1_3_2_1_1 n126_a_loosechange__1_1_1_3_2_2_1 NPR n126_a_loosechange__1_1_1_3_2_2->n126_a_loosechange__1_1_1_3_2_2_1 n126_a_loosechange__1_1_1_3_2_2_1->n126_a_loosechange__1_1_1_3_2_2_1_1 n126_a_loosechange__1_1_1_3_3_1 P-ROLE n126_a_loosechange__1_1_1_3_3->n126_a_loosechange__1_1_1_3_3_1 n126_a_loosechange__1_1_1_3_3_2 NP n126_a_loosechange__1_1_1_3_3->n126_a_loosechange__1_1_1_3_3_2 n126_a_loosechange__1_1_1_3_3_1->n126_a_loosechange__1_1_1_3_3_1_1 n126_a_loosechange__1_1_1_3_3_2_1 NUM n126_a_loosechange__1_1_1_3_3_2->n126_a_loosechange__1_1_1_3_3_2_1 n126_a_loosechange__1_1_1_3_3_2_2 NS n126_a_loosechange__1_1_1_3_3_2->n126_a_loosechange__1_1_1_3_3_2_2 n126_a_loosechange__1_1_1_3_3_2_1->n126_a_loosechange__1_1_1_3_3_2_1_1 n126_a_loosechange__1_1_1_3_3_2_2->n126_a_loosechange__1_1_1_3_3_2_2_1 n126_a_loosechange__1_1_2_1 CONJ n126_a_loosechange__1_1_2->n126_a_loosechange__1_1_2_1 n126_a_loosechange__1_1_2_2 ILYR n126_a_loosechange__1_1_2->n126_a_loosechange__1_1_2_2 n126_a_loosechange__1_1_2_1->n126_a_loosechange__1_1_2_1_1 n126_a_loosechange__1_1_2_2_1 NP-SBJ n126_a_loosechange__1_1_2_2->n126_a_loosechange__1_1_2_2_1 n126_a_loosechange__1_1_2_2_2 VBD;__ n126_a_loosechange__1_1_2_2->n126_a_loosechange__1_1_2_2_2 n126_a_loosechange__1_1_2_2_3 NP-OB1 n126_a_loosechange__1_1_2_2->n126_a_loosechange__1_1_2_2_3 n126_a_loosechange__1_1_2_2_4 ADVP-NIM n126_a_loosechange__1_1_2_2->n126_a_loosechange__1_1_2_2_4 n126_a_loosechange__1_1_2_2_1_1 PRO n126_a_loosechange__1_1_2_2_1->n126_a_loosechange__1_1_2_2_1_1 n126_a_loosechange__1_1_2_2_1_1->n126_a_loosechange__1_1_2_2_1_1_1 n126_a_loosechange__1_1_2_2_2->n126_a_loosechange__1_1_2_2_2_1 n126_a_loosechange__1_1_2_2_3_1 Q n126_a_loosechange__1_1_2_2_3->n126_a_loosechange__1_1_2_2_3_1 n126_a_loosechange__1_1_2_2_3_2 N n126_a_loosechange__1_1_2_2_3->n126_a_loosechange__1_1_2_2_3_2 n126_a_loosechange__1_1_2_2_3_1->n126_a_loosechange__1_1_2_2_3_1_1 n126_a_loosechange__1_1_2_2_3_2->n126_a_loosechange__1_1_2_2_3_2_1 n126_a_loosechange__1_1_2_2_4_1 ADV n126_a_loosechange__1_1_2_2_4->n126_a_loosechange__1_1_2_2_4_1 n126_a_loosechange__1_1_2_2_4_1->n126_a_loosechange__1_1_2_2_4_1_1 n126_a_loosechange__1_2->n126_a_loosechange__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{LAYLOR_BROTHER} (PRO They;{they}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (BEN;_Ipr_ been;{be[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (NPR England;{England})))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (NUM three;{three})
                                              (NS days;{day})))))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{LAYLOR_BROTHER} (PRO they;{they}))
                             (VBD;__ knew;{know})
                             (NP-OB1 (Q no;{no})
                                     (N one;{one}))
                             (ADVP-NIM (ADV here;{here})))))
          (PUNC .))
  (ID 126_a_loosechange))