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_0002__had_r_0126_0003__been had been r_0126_0001__They They r_0126_0002__had_r_0126_0003__been->r_0126_0001__They [arg0] r_0126_0005__England England r_0126_0002__had_r_0126_0003__been->r_0126_0005__England in [clr] 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_0009__but but r_0126_0009__but->r_0126_0002__had_r_0126_0003__been [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] 
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_6 They n126_a_loosechange_8 had n126_a_loosechange_11 been n126_a_loosechange_14 in n126_a_loosechange_17 England n126_a_loosechange_20 for n126_a_loosechange_23 three n126_a_loosechange_25 days n126_a_loosechange_28 but n126_a_loosechange_32 they n126_a_loosechange_34 knew n126_a_loosechange_37 no n126_a_loosechange_39 one n126_a_loosechange_42 here n126_a_loosechange_44 . n126_a_loosechange_1 IP-MAT n126_a_loosechange_2 ILYR n126_a_loosechange_1->n126_a_loosechange_2 n126_a_loosechange_43 PUNC n126_a_loosechange_1->n126_a_loosechange_43 n126_a_loosechange_3 ILYR n126_a_loosechange_2->n126_a_loosechange_3 n126_a_loosechange_26 CONJP n126_a_loosechange_2->n126_a_loosechange_26 n126_a_loosechange_4 NP-SBJ n126_a_loosechange_3->n126_a_loosechange_4 n126_a_loosechange_7 HVD;_cat_Ve_ n126_a_loosechange_3->n126_a_loosechange_7 n126_a_loosechange_9 IP-PPL-CAT n126_a_loosechange_3->n126_a_loosechange_9 n126_a_loosechange_5 PRO n126_a_loosechange_4->n126_a_loosechange_5 n126_a_loosechange_5->n126_a_loosechange_6 n126_a_loosechange_7->n126_a_loosechange_8 n126_a_loosechange_10 BEN;_Ipr_ n126_a_loosechange_9->n126_a_loosechange_10 n126_a_loosechange_12 PP-CLR n126_a_loosechange_9->n126_a_loosechange_12 n126_a_loosechange_18 PP-NIM n126_a_loosechange_9->n126_a_loosechange_18 n126_a_loosechange_10->n126_a_loosechange_11 n126_a_loosechange_13 P-ROLE n126_a_loosechange_12->n126_a_loosechange_13 n126_a_loosechange_15 NP n126_a_loosechange_12->n126_a_loosechange_15 n126_a_loosechange_13->n126_a_loosechange_14 n126_a_loosechange_16 NPR n126_a_loosechange_15->n126_a_loosechange_16 n126_a_loosechange_16->n126_a_loosechange_17 n126_a_loosechange_19 P-ROLE n126_a_loosechange_18->n126_a_loosechange_19 n126_a_loosechange_21 NP n126_a_loosechange_18->n126_a_loosechange_21 n126_a_loosechange_19->n126_a_loosechange_20 n126_a_loosechange_22 NUM n126_a_loosechange_21->n126_a_loosechange_22 n126_a_loosechange_24 NS n126_a_loosechange_21->n126_a_loosechange_24 n126_a_loosechange_22->n126_a_loosechange_23 n126_a_loosechange_24->n126_a_loosechange_25 n126_a_loosechange_27 CONJ n126_a_loosechange_26->n126_a_loosechange_27 n126_a_loosechange_29 ILYR n126_a_loosechange_26->n126_a_loosechange_29 n126_a_loosechange_27->n126_a_loosechange_28 n126_a_loosechange_30 NP-SBJ n126_a_loosechange_29->n126_a_loosechange_30 n126_a_loosechange_33 VBD;__ n126_a_loosechange_29->n126_a_loosechange_33 n126_a_loosechange_35 NP-OB1 n126_a_loosechange_29->n126_a_loosechange_35 n126_a_loosechange_40 ADVP-NIM n126_a_loosechange_29->n126_a_loosechange_40 n126_a_loosechange_31 PRO n126_a_loosechange_30->n126_a_loosechange_31 n126_a_loosechange_31->n126_a_loosechange_32 n126_a_loosechange_33->n126_a_loosechange_34 n126_a_loosechange_36 Q n126_a_loosechange_35->n126_a_loosechange_36 n126_a_loosechange_38 N n126_a_loosechange_35->n126_a_loosechange_38 n126_a_loosechange_36->n126_a_loosechange_37 n126_a_loosechange_38->n126_a_loosechange_39 n126_a_loosechange_41 ADV n126_a_loosechange_40->n126_a_loosechange_41 n126_a_loosechange_41->n126_a_loosechange_42 n126_a_loosechange_43->n126_a_loosechange_44 
( (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))