3_a_fce_0100_2000_12
Your English class is going to spend three days in 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))



%3 r_0003_0007__spend spend r_0003_0011__London London r_0003_0007__spend->r_0003_0011__London in [nim] r_0003_0008__three_r_0003_0009__days three days r_0003_0007__spend->r_0003_0008__three_r_0003_0009__days [arg1] r_0003_0003__class class 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] r_0003_0005__going going r_0003_0005__going->r_0003_0007__spend [scope] r_0003_0004__is is r_0003_0004__is->r_0003_0005__going [scope]
arc(r_0003_0003__class,r_0003_0001__Your,gen).
arc(r_0003_0003__class,r_0003_0002__English,attrib).
arc(r_0003_0004__is,r_0003_0005__going,scope).
arc(r_0003_0005__going,r_0003_0007__spend,scope).
arc(r_0003_0007__spend,r_0003_0003__class,arg0).
arc(r_0003_0007__spend,r_0003_0008__three_r_0003_0009__days,arg1).
arc(r_0003_0007__spend,r_0003_0011__London,r_0003_0010__in__nim).



%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_0007__spend is going spend r_0003_0004__is_r_0003_0005__going_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_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_0007__spend->r_0003_0011__London in [nim]
fof(formula,axiom,
    ? [R_0003_0001__YOUR,R_0003_0002__ENGLISH,R_0003_0003__CLASS,R_0003_0008__THREE_R_0003_0009__DAYS,R_0003_0011__LONDON,R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND] :
      ( r_0003_0001__Your(R_0003_0001__YOUR)
      & r_0003_0002__English(R_0003_0002__ENGLISH)
      & r_0003_0008__three_r_0003_0009__days(R_0003_0008__THREE_R_0003_0009__DAYS)
      & r_0003_0011__London(R_0003_0011__LONDON)
      & r_0003_0004__is_r_0003_0005__going_r_0003_0007__spend(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND)
      & has_r_0003_0010__in__nim(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND,R_0003_0011__LONDON)
      & has_arg1(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND,R_0003_0008__THREE_R_0003_0009__DAYS)
      & has_arg0(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND,R_0003_0003__CLASS)
      & r_0003_0003__class(R_0003_0003__CLASS)
      & has_attrib(R_0003_0003__CLASS,R_0003_0002__ENGLISH)
      & has_gen(R_0003_0003__CLASS,R_0003_0001__YOUR) ) ).