Context                Previous, Next                Top


3_a_fce_0100_2000_12
Your English class is going to spend three days in London.

%3 r_0003_0003__class class r_0003_0001__Your Your r_0003_0003__class->r_0003_0001__Your [gen] r_0003_0002__English English r_0003_0003__class->r_0003_0002__English [attrib] r_0003_0004__is is r_0003_0005__going going r_0003_0004__is->r_0003_0005__going [scope] r_0003_0006__to_r_0003_0007__spend to spend r_0003_0005__going->r_0003_0006__to_r_0003_0007__spend [scope] r_0003_0006__to_r_0003_0007__spend->r_0003_0003__class [arg0] r_0003_0008__three_r_0003_0009__days three days r_0003_0006__to_r_0003_0007__spend->r_0003_0008__three_r_0003_0009__days [arg1] r_0003_0011__London London r_0003_0006__to_r_0003_0007__spend->r_0003_0011__London in [nim] 
arc(r_0003_0003__class, r_0003_0001__Your, gen).
arc(r_0003_0003__class, r_0003_0002__English, attrib6).
arc(r_0003_0004__is, r_0003_0005__going, scope).
arc(r_0003_0005__going, r_0003_0006__to_r_0003_0007__spend, scope).
arc(r_0003_0006__to_r_0003_0007__spend, r_0003_0003__class, arg0).
arc(r_0003_0006__to_r_0003_0007__spend, r_0003_0008__three_r_0003_0009__days, arg1).
arc(r_0003_0006__to_r_0003_0007__spend, r_0003_0011__London, r_0003_0010__in_nim29).


%3 r_0003_0003__class class r_0003_0001__Your Your r_0003_0003__class->r_0003_0001__Your [gen] r_0003_0002__English English r_0003_0003__class->r_0003_0002__English [attrib] r_0003_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend is going to spend r_0003_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend->r_0003_0003__class [arg0] r_0003_0008__three_r_0003_0009__days three days r_0003_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend->r_0003_0008__three_r_0003_0009__days [arg1] r_0003_0011__London London r_0003_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend->r_0003_0011__London in [nim] 
fof(formula,axiom,
    ? [R_3_4_IS_GOING_TO_SPEND,R_3_3_CLASS,R_3_2_ENGLISH,R_3_1_YOUR,R_3_8_THREE_DAYS,R_3_11_LONDON] :
      ( english(R_3_2_ENGLISH)
      & your(R_3_1_YOUR)
      & three_days(R_3_8_THREE_DAYS)
      & london(R_3_11_LONDON)
      & is_going_to_spend(R_3_4_IS_GOING_TO_SPEND,R_3_3_CLASS,R_3_8_THREE_DAYS)
      & class(R_3_3_CLASS)
      & attrib6(R_3_3_CLASS,R_3_2_ENGLISH)
      & gen(R_3_3_CLASS,R_3_1_YOUR)
      & in_nim29(R_3_4_IS_GOING_TO_SPEND,R_3_11_LONDON) ) ).


n3_a_fce_0100_2000_12 n3_a_fce_0100_2000_12_5 Your n3_a_fce_0100_2000_12_8 English n3_a_fce_0100_2000_12_10 class n3_a_fce_0100_2000_12_12 is n3_a_fce_0100_2000_12_15 going n3_a_fce_0100_2000_12_18 to n3_a_fce_0100_2000_12_20 spend n3_a_fce_0100_2000_12_23 three n3_a_fce_0100_2000_12_25 days n3_a_fce_0100_2000_12_28 in n3_a_fce_0100_2000_12_31 London n3_a_fce_0100_2000_12_33 . n3_a_fce_0100_2000_12_1 IP-MAT n3_a_fce_0100_2000_12_2 NP-SBJ n3_a_fce_0100_2000_12_1->n3_a_fce_0100_2000_12_2 n3_a_fce_0100_2000_12_11 BEP;_cat_Vg_ n3_a_fce_0100_2000_12_1->n3_a_fce_0100_2000_12_11 n3_a_fce_0100_2000_12_13 IP-PPL-CAT n3_a_fce_0100_2000_12_1->n3_a_fce_0100_2000_12_13 n3_a_fce_0100_2000_12_32 PUNC n3_a_fce_0100_2000_12_1->n3_a_fce_0100_2000_12_32 n3_a_fce_0100_2000_12_3 NP-GEN n3_a_fce_0100_2000_12_2->n3_a_fce_0100_2000_12_3 n3_a_fce_0100_2000_12_6 ADJP n3_a_fce_0100_2000_12_2->n3_a_fce_0100_2000_12_6 n3_a_fce_0100_2000_12_9 N n3_a_fce_0100_2000_12_2->n3_a_fce_0100_2000_12_9 n3_a_fce_0100_2000_12_4 PRO;_genm_ n3_a_fce_0100_2000_12_3->n3_a_fce_0100_2000_12_4 n3_a_fce_0100_2000_12_4->n3_a_fce_0100_2000_12_5 n3_a_fce_0100_2000_12_7 ADJ n3_a_fce_0100_2000_12_6->n3_a_fce_0100_2000_12_7 n3_a_fce_0100_2000_12_7->n3_a_fce_0100_2000_12_8 n3_a_fce_0100_2000_12_9->n3_a_fce_0100_2000_12_10 n3_a_fce_0100_2000_12_11->n3_a_fce_0100_2000_12_12 n3_a_fce_0100_2000_12_14 VAG;_cat_Vt_ n3_a_fce_0100_2000_12_13->n3_a_fce_0100_2000_12_14 n3_a_fce_0100_2000_12_16 IP-INF-CAT n3_a_fce_0100_2000_12_13->n3_a_fce_0100_2000_12_16 n3_a_fce_0100_2000_12_14->n3_a_fce_0100_2000_12_15 n3_a_fce_0100_2000_12_17 TO n3_a_fce_0100_2000_12_16->n3_a_fce_0100_2000_12_17 n3_a_fce_0100_2000_12_19 VB;_Tn.pr_ n3_a_fce_0100_2000_12_16->n3_a_fce_0100_2000_12_19 n3_a_fce_0100_2000_12_21 NP-OB1 n3_a_fce_0100_2000_12_16->n3_a_fce_0100_2000_12_21 n3_a_fce_0100_2000_12_26 PP-NIM n3_a_fce_0100_2000_12_16->n3_a_fce_0100_2000_12_26 n3_a_fce_0100_2000_12_17->n3_a_fce_0100_2000_12_18 n3_a_fce_0100_2000_12_19->n3_a_fce_0100_2000_12_20 n3_a_fce_0100_2000_12_22 NUM n3_a_fce_0100_2000_12_21->n3_a_fce_0100_2000_12_22 n3_a_fce_0100_2000_12_24 NS n3_a_fce_0100_2000_12_21->n3_a_fce_0100_2000_12_24 n3_a_fce_0100_2000_12_22->n3_a_fce_0100_2000_12_23 n3_a_fce_0100_2000_12_24->n3_a_fce_0100_2000_12_25 n3_a_fce_0100_2000_12_27 P-ROLE n3_a_fce_0100_2000_12_26->n3_a_fce_0100_2000_12_27 n3_a_fce_0100_2000_12_29 NP n3_a_fce_0100_2000_12_26->n3_a_fce_0100_2000_12_29 n3_a_fce_0100_2000_12_27->n3_a_fce_0100_2000_12_28 n3_a_fce_0100_2000_12_30 NPR n3_a_fce_0100_2000_12_29->n3_a_fce_0100_2000_12_30 n3_a_fce_0100_2000_12_30->n3_a_fce_0100_2000_12_31 n3_a_fce_0100_2000_12_32->n3_a_fce_0100_2000_12_33 
( (IP-MAT (NP-SBJ;{CLASS} (NP-GEN (PRO;_genm_ Your;{your}))
                          (ADJP (ADJ English;{english}))
                          (N class;{class}))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn.pr_ spend;{spend})
                                  (NP-OB1 (NUM three;{three})
                                          (NS days;{day}))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NPR London;{London})))))
          (PUNC .))
  (ID 3_a_fce_0100_2000_12))