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_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend is going to spend 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] 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_0003__class class r_0003_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend->r_0003_0003__class [arg0] r_0003_0002__English English r_0003_0003__class->r_0003_0002__English [attrib] r_0003_0001__Your Your r_0003_0003__class->r_0003_0001__Your [gen] 
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__1_1_1_1_1 Your n3_a_fce_0100_2000_12__1_1_2_1_1 English n3_a_fce_0100_2000_12__1_1_3_1 class n3_a_fce_0100_2000_12__1_2_1 is n3_a_fce_0100_2000_12__1_3_1_1 going n3_a_fce_0100_2000_12__1_3_2_1_1 to n3_a_fce_0100_2000_12__1_3_2_2_1 spend n3_a_fce_0100_2000_12__1_3_2_3_1_1 three n3_a_fce_0100_2000_12__1_3_2_3_2_1 days n3_a_fce_0100_2000_12__1_3_2_4_1_1 in n3_a_fce_0100_2000_12__1_3_2_4_2_1_1 London n3_a_fce_0100_2000_12__1_4_1 . n3_a_fce_0100_2000_12__1 IP-MAT n3_a_fce_0100_2000_12__1_1 NP-SBJ n3_a_fce_0100_2000_12__1->n3_a_fce_0100_2000_12__1_1 n3_a_fce_0100_2000_12__1_2 BEP;_cat_Vg_ n3_a_fce_0100_2000_12__1->n3_a_fce_0100_2000_12__1_2 n3_a_fce_0100_2000_12__1_3 IP-PPL-CAT n3_a_fce_0100_2000_12__1->n3_a_fce_0100_2000_12__1_3 n3_a_fce_0100_2000_12__1_4 PUNC n3_a_fce_0100_2000_12__1->n3_a_fce_0100_2000_12__1_4 n3_a_fce_0100_2000_12__1_1_1 NP-GEN n3_a_fce_0100_2000_12__1_1->n3_a_fce_0100_2000_12__1_1_1 n3_a_fce_0100_2000_12__1_1_2 ADJP n3_a_fce_0100_2000_12__1_1->n3_a_fce_0100_2000_12__1_1_2 n3_a_fce_0100_2000_12__1_1_3 N n3_a_fce_0100_2000_12__1_1->n3_a_fce_0100_2000_12__1_1_3 n3_a_fce_0100_2000_12__1_1_1_1 PRO;_genm_ n3_a_fce_0100_2000_12__1_1_1->n3_a_fce_0100_2000_12__1_1_1_1 n3_a_fce_0100_2000_12__1_1_1_1->n3_a_fce_0100_2000_12__1_1_1_1_1 n3_a_fce_0100_2000_12__1_1_2_1 ADJ n3_a_fce_0100_2000_12__1_1_2->n3_a_fce_0100_2000_12__1_1_2_1 n3_a_fce_0100_2000_12__1_1_2_1->n3_a_fce_0100_2000_12__1_1_2_1_1 n3_a_fce_0100_2000_12__1_1_3->n3_a_fce_0100_2000_12__1_1_3_1 n3_a_fce_0100_2000_12__1_2->n3_a_fce_0100_2000_12__1_2_1 n3_a_fce_0100_2000_12__1_3_1 VAG;_cat_Vt_ n3_a_fce_0100_2000_12__1_3->n3_a_fce_0100_2000_12__1_3_1 n3_a_fce_0100_2000_12__1_3_2 IP-INF-CAT n3_a_fce_0100_2000_12__1_3->n3_a_fce_0100_2000_12__1_3_2 n3_a_fce_0100_2000_12__1_3_1->n3_a_fce_0100_2000_12__1_3_1_1 n3_a_fce_0100_2000_12__1_3_2_1 TO n3_a_fce_0100_2000_12__1_3_2->n3_a_fce_0100_2000_12__1_3_2_1 n3_a_fce_0100_2000_12__1_3_2_2 VB;_Tn.pr_ n3_a_fce_0100_2000_12__1_3_2->n3_a_fce_0100_2000_12__1_3_2_2 n3_a_fce_0100_2000_12__1_3_2_3 NP-OB1 n3_a_fce_0100_2000_12__1_3_2->n3_a_fce_0100_2000_12__1_3_2_3 n3_a_fce_0100_2000_12__1_3_2_4 PP-NIM n3_a_fce_0100_2000_12__1_3_2->n3_a_fce_0100_2000_12__1_3_2_4 n3_a_fce_0100_2000_12__1_3_2_1->n3_a_fce_0100_2000_12__1_3_2_1_1 n3_a_fce_0100_2000_12__1_3_2_2->n3_a_fce_0100_2000_12__1_3_2_2_1 n3_a_fce_0100_2000_12__1_3_2_3_1 NUM n3_a_fce_0100_2000_12__1_3_2_3->n3_a_fce_0100_2000_12__1_3_2_3_1 n3_a_fce_0100_2000_12__1_3_2_3_2 NS n3_a_fce_0100_2000_12__1_3_2_3->n3_a_fce_0100_2000_12__1_3_2_3_2 n3_a_fce_0100_2000_12__1_3_2_3_1->n3_a_fce_0100_2000_12__1_3_2_3_1_1 n3_a_fce_0100_2000_12__1_3_2_3_2->n3_a_fce_0100_2000_12__1_3_2_3_2_1 n3_a_fce_0100_2000_12__1_3_2_4_1 P-ROLE n3_a_fce_0100_2000_12__1_3_2_4->n3_a_fce_0100_2000_12__1_3_2_4_1 n3_a_fce_0100_2000_12__1_3_2_4_2 NP n3_a_fce_0100_2000_12__1_3_2_4->n3_a_fce_0100_2000_12__1_3_2_4_2 n3_a_fce_0100_2000_12__1_3_2_4_1->n3_a_fce_0100_2000_12__1_3_2_4_1_1 n3_a_fce_0100_2000_12__1_3_2_4_2_1 NPR n3_a_fce_0100_2000_12__1_3_2_4_2->n3_a_fce_0100_2000_12__1_3_2_4_2_1 n3_a_fce_0100_2000_12__1_3_2_4_2_1->n3_a_fce_0100_2000_12__1_3_2_4_2_1_1 n3_a_fce_0100_2000_12__1_4->n3_a_fce_0100_2000_12__1_4_1 
( (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))