5_a_fce_0100_2000_12
However, the students in your class have seen an advertisement for the London Fashion and Leisure Show and you would all like to go to the show.

%3 r_0005_0003__the_r_0005_0004__students the students r_0005_0007__class class r_0005_0003__the_r_0005_0004__students->r_0005_0007__class in r_0005_0006__your your r_0005_0007__class->r_0005_0006__your [gen] r_0005_0008__have have r_0005_0001__However However r_0005_0008__have->r_0005_0001__However [nim] r_0005_0009__seen seen r_0005_0008__have->r_0005_0009__seen [scope] r_0005_0009__seen->r_0005_0003__the_r_0005_0004__students [arg0] r_0005_0010__an_r_0005_0011__advertisement an advertisement r_0005_0009__seen->r_0005_0010__an_r_0005_0011__advertisement [arg1] r_0005_0013__the_r_0005_0014__London_r_0005_0016__Show the London Show r_0005_0010__an_r_0005_0011__advertisement->r_0005_0013__the_r_0005_0014__London_r_0005_0016__Show for r_0005_0017__and and r_0005_0017__and->r_0005_0008__have [conj1] r_0005_0019__would would r_0005_0017__and->r_0005_0019__would [conj2] r_0005_0019__would->r_0005_0001__However [nim] r_0005_0021__like like r_0005_0019__would->r_0005_0021__like [scope] r_0005_0021__like->r_0005_0006__your [arg0] r_0005_0020__all all r_0005_0021__like->r_0005_0020__all [nim] r_0005_0022__to_r_0005_0023__go to go r_0005_0021__like->r_0005_0022__to_r_0005_0023__go [arg1] r_0005_0022__to_r_0005_0023__go->r_0005_0006__your [arg0] r_0005_0025__the_r_0005_0026__show the show r_0005_0022__to_r_0005_0023__go->r_0005_0025__the_r_0005_0026__show to [clr]
arc(r_0005_0003__the_r_0005_0004__students, r_0005_0007__class, r_0005_0005__in).
arc(r_0005_0007__class, r_0005_0006__your, gen).
arc(r_0005_0008__have, r_0005_0001__However, nim2).
arc(r_0005_0008__have, r_0005_0009__seen, scope).
arc(r_0005_0009__seen, r_0005_0003__the_r_0005_0004__students, arg0).
arc(r_0005_0009__seen, r_0005_0010__an_r_0005_0011__advertisement, arg1).
arc(r_0005_0010__an_r_0005_0011__advertisement, r_0005_0013__the_r_0005_0014__London_r_0005_0016__Show, r_0005_0012__for).
arc(r_0005_0017__and, r_0005_0008__have, conj1).
arc(r_0005_0017__and, r_0005_0019__would, conj2).
arc(r_0005_0019__would, r_0005_0001__However, nim2).
arc(r_0005_0019__would, r_0005_0021__like, scope).
arc(r_0005_0021__like, r_0005_0006__your, arg0).
arc(r_0005_0021__like, r_0005_0020__all, nim56).
arc(r_0005_0021__like, r_0005_0022__to_r_0005_0023__go, arg1).
arc(r_0005_0022__to_r_0005_0023__go, r_0005_0006__your, arg0).
arc(r_0005_0022__to_r_0005_0023__go, r_0005_0025__the_r_0005_0026__show, r_0005_0024__to_clr69).



%3 r_0005_0022__to_r_0005_0023__go to go r_0005_0025__the_r_0005_0026__show the show r_0005_0022__to_r_0005_0023__go->r_0005_0025__the_r_0005_0026__show to [clr] r_0005_0006__your your r_0005_0022__to_r_0005_0023__go->r_0005_0006__your [arg0] r_0005_0019__would_r_0005_0021__like would like r_0005_0019__would_r_0005_0021__like->r_0005_0022__to_r_0005_0023__go [arg1] r_0005_0019__would_r_0005_0021__like->r_0005_0006__your [arg0] r_0005_0020__all all r_0005_0019__would_r_0005_0021__like->r_0005_0020__all [nim] r_0005_0001__However However r_0005_0019__would_r_0005_0021__like->r_0005_0001__However [nim] r_0005_0017__and and r_0005_0017__and->r_0005_0019__would_r_0005_0021__like [conj2] r_0005_0008__have_r_0005_0009__seen have seen r_0005_0017__and->r_0005_0008__have_r_0005_0009__seen [conj1] r_0005_0008__have_r_0005_0009__seen->r_0005_0001__However [nim] r_0005_0010__an_r_0005_0011__advertisement an advertisement r_0005_0008__have_r_0005_0009__seen->r_0005_0010__an_r_0005_0011__advertisement [arg1] r_0005_0003__the_r_0005_0004__students the students r_0005_0008__have_r_0005_0009__seen->r_0005_0003__the_r_0005_0004__students [arg0] r_0005_0013__the_r_0005_0014__London_r_0005_0016__Show the London Show r_0005_0010__an_r_0005_0011__advertisement->r_0005_0013__the_r_0005_0014__London_r_0005_0016__Show for r_0005_0007__class class r_0005_0003__the_r_0005_0004__students->r_0005_0007__class in r_0005_0007__class->r_0005_0006__your [gen]
fof(formula,axiom,
    ? [R_5_17_AND,R_5_8_HAVE_SEEN,R_5_3_THE_STUDENTS,R_5_7_CLASS,R_5_10_AN_ADVERTISEMENT,R_5_13_THE_LONDON_SHOW,R_5_19_WOULD_LIKE,R_5_22_TO_GO,R_5_6_YOUR,R_5_25_THE_SHOW,R_5_1_HOWEVER,R_5_20_ALL] :
      ( the_London_Show(R_5_13_THE_LONDON_SHOW)
      & your(R_5_6_YOUR)
      & the_show(R_5_25_THE_SHOW)
      & however(R_5_1_HOWEVER)
      & all(R_5_20_ALL)
      & and(R_5_17_AND)
      & conj1(R_5_17_AND,R_5_8_HAVE_SEEN)
      & have_seen(R_5_8_HAVE_SEEN,R_5_3_THE_STUDENTS,R_5_10_AN_ADVERTISEMENT)
      & the_students(R_5_3_THE_STUDENTS)
      & in(R_5_3_THE_STUDENTS,R_5_7_CLASS)
      & class(R_5_7_CLASS)
      & gen(R_5_7_CLASS,R_5_6_YOUR)
      & an_advertisement(R_5_10_AN_ADVERTISEMENT)
      & for(R_5_10_AN_ADVERTISEMENT,R_5_13_THE_LONDON_SHOW)
      & nim2(R_5_8_HAVE_SEEN,R_5_1_HOWEVER)
      & conj2(R_5_17_AND,R_5_19_WOULD_LIKE)
      & would_like(R_5_19_WOULD_LIKE,R_5_6_YOUR,R_5_22_TO_GO)
      & to_go(R_5_22_TO_GO,R_5_6_YOUR)
      & to_clr69(R_5_22_TO_GO,R_5_25_THE_SHOW)
      & nim2(R_5_19_WOULD_LIKE,R_5_1_HOWEVER)
      & nim56(R_5_19_WOULD_LIKE,R_5_20_ALL) ) ).



n5_a_fce_0100_2000_12 n5_a_fce_0100_2000_12__1_1_1_1 However n5_a_fce_0100_2000_12__1_2_1 , n5_a_fce_0100_2000_12__1_3_1_1_1_1 the n5_a_fce_0100_2000_12__1_3_1_1_2_1 students n5_a_fce_0100_2000_12__1_3_1_1_3_1_1 in n5_a_fce_0100_2000_12__1_3_1_1_3_2_1_1_1 your n5_a_fce_0100_2000_12__1_3_1_1_3_2_2_1 class n5_a_fce_0100_2000_12__1_3_1_2_1 have n5_a_fce_0100_2000_12__1_3_1_3_1_1 seen n5_a_fce_0100_2000_12__1_3_1_3_2_1_1 an n5_a_fce_0100_2000_12__1_3_1_3_2_2_1 advertisement n5_a_fce_0100_2000_12__1_3_1_3_2_3_1_1 for n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_1_1 the n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_2_1 London n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3_1_1 Fashion_and_Leisure n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_4_1 Show n5_a_fce_0100_2000_12__1_3_2_1_1 and n5_a_fce_0100_2000_12__1_3_2_2_1_1_1 you n5_a_fce_0100_2000_12__1_3_2_2_2_1 would n5_a_fce_0100_2000_12__1_3_2_2_3_1_1_1 all n5_a_fce_0100_2000_12__1_3_2_2_3_2_1 like n5_a_fce_0100_2000_12__1_3_2_2_3_3_1_1 to n5_a_fce_0100_2000_12__1_3_2_2_3_3_2_1 go n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_1_1 to n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_1_1 the n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_2_1 show n5_a_fce_0100_2000_12__1_4_1 . n5_a_fce_0100_2000_12__1 IP-MAT n5_a_fce_0100_2000_12__1_1 ADVP-NIM n5_a_fce_0100_2000_12__1->n5_a_fce_0100_2000_12__1_1 n5_a_fce_0100_2000_12__1_2 PUNC n5_a_fce_0100_2000_12__1->n5_a_fce_0100_2000_12__1_2 n5_a_fce_0100_2000_12__1_3 ILYR n5_a_fce_0100_2000_12__1->n5_a_fce_0100_2000_12__1_3 n5_a_fce_0100_2000_12__1_4 PUNC n5_a_fce_0100_2000_12__1->n5_a_fce_0100_2000_12__1_4 n5_a_fce_0100_2000_12__1_1_1 ADV n5_a_fce_0100_2000_12__1_1->n5_a_fce_0100_2000_12__1_1_1 n5_a_fce_0100_2000_12__1_1_1->n5_a_fce_0100_2000_12__1_1_1_1 n5_a_fce_0100_2000_12__1_2->n5_a_fce_0100_2000_12__1_2_1 n5_a_fce_0100_2000_12__1_3_1 ILYR n5_a_fce_0100_2000_12__1_3->n5_a_fce_0100_2000_12__1_3_1 n5_a_fce_0100_2000_12__1_3_2 CONJP n5_a_fce_0100_2000_12__1_3->n5_a_fce_0100_2000_12__1_3_2 n5_a_fce_0100_2000_12__1_3_1_1 NP-SBJ n5_a_fce_0100_2000_12__1_3_1->n5_a_fce_0100_2000_12__1_3_1_1 n5_a_fce_0100_2000_12__1_3_1_2 HVP;_cat_Ve_ n5_a_fce_0100_2000_12__1_3_1->n5_a_fce_0100_2000_12__1_3_1_2 n5_a_fce_0100_2000_12__1_3_1_3 IP-PPL-CAT n5_a_fce_0100_2000_12__1_3_1->n5_a_fce_0100_2000_12__1_3_1_3 n5_a_fce_0100_2000_12__1_3_1_1_1 D n5_a_fce_0100_2000_12__1_3_1_1->n5_a_fce_0100_2000_12__1_3_1_1_1 n5_a_fce_0100_2000_12__1_3_1_1_2 NS n5_a_fce_0100_2000_12__1_3_1_1->n5_a_fce_0100_2000_12__1_3_1_1_2 n5_a_fce_0100_2000_12__1_3_1_1_3 PP n5_a_fce_0100_2000_12__1_3_1_1->n5_a_fce_0100_2000_12__1_3_1_1_3 n5_a_fce_0100_2000_12__1_3_1_1_1->n5_a_fce_0100_2000_12__1_3_1_1_1_1 n5_a_fce_0100_2000_12__1_3_1_1_2->n5_a_fce_0100_2000_12__1_3_1_1_2_1 n5_a_fce_0100_2000_12__1_3_1_1_3_1 P-ROLE n5_a_fce_0100_2000_12__1_3_1_1_3->n5_a_fce_0100_2000_12__1_3_1_1_3_1 n5_a_fce_0100_2000_12__1_3_1_1_3_2 NP n5_a_fce_0100_2000_12__1_3_1_1_3->n5_a_fce_0100_2000_12__1_3_1_1_3_2 n5_a_fce_0100_2000_12__1_3_1_1_3_1->n5_a_fce_0100_2000_12__1_3_1_1_3_1_1 n5_a_fce_0100_2000_12__1_3_1_1_3_2_1 NP-GEN n5_a_fce_0100_2000_12__1_3_1_1_3_2->n5_a_fce_0100_2000_12__1_3_1_1_3_2_1 n5_a_fce_0100_2000_12__1_3_1_1_3_2_2 N n5_a_fce_0100_2000_12__1_3_1_1_3_2->n5_a_fce_0100_2000_12__1_3_1_1_3_2_2 n5_a_fce_0100_2000_12__1_3_1_1_3_2_1_1 PRO;_genm_ n5_a_fce_0100_2000_12__1_3_1_1_3_2_1->n5_a_fce_0100_2000_12__1_3_1_1_3_2_1_1 n5_a_fce_0100_2000_12__1_3_1_1_3_2_1_1->n5_a_fce_0100_2000_12__1_3_1_1_3_2_1_1_1 n5_a_fce_0100_2000_12__1_3_1_1_3_2_2->n5_a_fce_0100_2000_12__1_3_1_1_3_2_2_1 n5_a_fce_0100_2000_12__1_3_1_2->n5_a_fce_0100_2000_12__1_3_1_2_1 n5_a_fce_0100_2000_12__1_3_1_3_1 VVN;_Tn_ n5_a_fce_0100_2000_12__1_3_1_3->n5_a_fce_0100_2000_12__1_3_1_3_1 n5_a_fce_0100_2000_12__1_3_1_3_2 NP-OB1 n5_a_fce_0100_2000_12__1_3_1_3->n5_a_fce_0100_2000_12__1_3_1_3_2 n5_a_fce_0100_2000_12__1_3_1_3_1->n5_a_fce_0100_2000_12__1_3_1_3_1_1 n5_a_fce_0100_2000_12__1_3_1_3_2_1 D n5_a_fce_0100_2000_12__1_3_1_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_1 n5_a_fce_0100_2000_12__1_3_1_3_2_2 N n5_a_fce_0100_2000_12__1_3_1_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_2 n5_a_fce_0100_2000_12__1_3_1_3_2_3 PP n5_a_fce_0100_2000_12__1_3_1_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_3 n5_a_fce_0100_2000_12__1_3_1_3_2_1->n5_a_fce_0100_2000_12__1_3_1_3_2_1_1 n5_a_fce_0100_2000_12__1_3_1_3_2_2->n5_a_fce_0100_2000_12__1_3_1_3_2_2_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_1 P-ROLE n5_a_fce_0100_2000_12__1_3_1_3_2_3->n5_a_fce_0100_2000_12__1_3_1_3_2_3_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2 NP n5_a_fce_0100_2000_12__1_3_1_3_2_3->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2 n5_a_fce_0100_2000_12__1_3_1_3_2_3_1->n5_a_fce_0100_2000_12__1_3_1_3_2_3_1_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_1 D n5_a_fce_0100_2000_12__1_3_1_3_2_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_2 NPR n5_a_fce_0100_2000_12__1_3_1_3_2_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_2 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3 NPR n5_a_fce_0100_2000_12__1_3_1_3_2_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_4 N n5_a_fce_0100_2000_12__1_3_1_3_2_3_2->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_4 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_1->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_1_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_2->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_2_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3_1 NPR n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3_1->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_3_1_1 n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_4->n5_a_fce_0100_2000_12__1_3_1_3_2_3_2_4_1 n5_a_fce_0100_2000_12__1_3_2_1 CONJ n5_a_fce_0100_2000_12__1_3_2->n5_a_fce_0100_2000_12__1_3_2_1 n5_a_fce_0100_2000_12__1_3_2_2 ILYR n5_a_fce_0100_2000_12__1_3_2->n5_a_fce_0100_2000_12__1_3_2_2 n5_a_fce_0100_2000_12__1_3_2_1->n5_a_fce_0100_2000_12__1_3_2_1_1 n5_a_fce_0100_2000_12__1_3_2_2_1 NP-SBJ n5_a_fce_0100_2000_12__1_3_2_2->n5_a_fce_0100_2000_12__1_3_2_2_1 n5_a_fce_0100_2000_12__1_3_2_2_2 MD;_cat_Vi_ n5_a_fce_0100_2000_12__1_3_2_2->n5_a_fce_0100_2000_12__1_3_2_2_2 n5_a_fce_0100_2000_12__1_3_2_2_3 IP-INF-CAT n5_a_fce_0100_2000_12__1_3_2_2->n5_a_fce_0100_2000_12__1_3_2_2_3 n5_a_fce_0100_2000_12__1_3_2_2_1_1 PRO n5_a_fce_0100_2000_12__1_3_2_2_1->n5_a_fce_0100_2000_12__1_3_2_2_1_1 n5_a_fce_0100_2000_12__1_3_2_2_1_1->n5_a_fce_0100_2000_12__1_3_2_2_1_1_1 n5_a_fce_0100_2000_12__1_3_2_2_2->n5_a_fce_0100_2000_12__1_3_2_2_2_1 n5_a_fce_0100_2000_12__1_3_2_2_3_1 ADVP-NIM n5_a_fce_0100_2000_12__1_3_2_2_3->n5_a_fce_0100_2000_12__1_3_2_2_3_1 n5_a_fce_0100_2000_12__1_3_2_2_3_2 VB;_Tt_ n5_a_fce_0100_2000_12__1_3_2_2_3->n5_a_fce_0100_2000_12__1_3_2_2_3_2 n5_a_fce_0100_2000_12__1_3_2_2_3_3 IP-INF-OB1 n5_a_fce_0100_2000_12__1_3_2_2_3->n5_a_fce_0100_2000_12__1_3_2_2_3_3 n5_a_fce_0100_2000_12__1_3_2_2_3_1_1 ADV n5_a_fce_0100_2000_12__1_3_2_2_3_1->n5_a_fce_0100_2000_12__1_3_2_2_3_1_1 n5_a_fce_0100_2000_12__1_3_2_2_3_1_1->n5_a_fce_0100_2000_12__1_3_2_2_3_1_1_1 n5_a_fce_0100_2000_12__1_3_2_2_3_2->n5_a_fce_0100_2000_12__1_3_2_2_3_2_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_1 TO n5_a_fce_0100_2000_12__1_3_2_2_3_3->n5_a_fce_0100_2000_12__1_3_2_2_3_3_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_2 VB;_Ipr_ n5_a_fce_0100_2000_12__1_3_2_2_3_3->n5_a_fce_0100_2000_12__1_3_2_2_3_3_2 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3 PP-CLR n5_a_fce_0100_2000_12__1_3_2_2_3_3->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3 n5_a_fce_0100_2000_12__1_3_2_2_3_3_1->n5_a_fce_0100_2000_12__1_3_2_2_3_3_1_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_2->n5_a_fce_0100_2000_12__1_3_2_2_3_3_2_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_1 P-ROLE n5_a_fce_0100_2000_12__1_3_2_2_3_3_3->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2 NP n5_a_fce_0100_2000_12__1_3_2_2_3_3_3->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_1->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_1_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_1 D n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_2 N n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_2 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_1->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_1_1 n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_2->n5_a_fce_0100_2000_12__1_3_2_2_3_3_3_2_2_1 n5_a_fce_0100_2000_12__1_4->n5_a_fce_0100_2000_12__1_4_1
( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ (D the;{the})
                              (NS students;{student})
                              (PP (P-ROLE in;{in})
                                  (NP;{CLASS} (NP-GEN (PRO;_genm_ your;{your}))
                                              (N class;{class}))))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                                  (NP-OB1;{ADVERTISEMENT} (D an;{an})
                                                          (N advertisement;{advertisement})
                                                          (PP (P-ROLE for;{for})
                                                              (NP;{SHOW} (D the;{the})
                                                                         (NPR London;{London})
                                                                         (NPR (NPR Fashion_and_Leisure))
                                                                         (N Show;{show}))))))
                (CONJP (CONJ and;{and})
                       (ILYR;{LIKE} (NP-SBJ (PRO you;{you}))
                                    (MD;_cat_Vi_ would;{will})
                                    (IP-INF-CAT (ADVP-NIM (ADV all;{all}))
                                                (VB;_Tt_ like;{like})
                                                (IP-INF-OB1 (TO to;{to})
                                                            (VB;_Ipr_ go;{go[to]})
                                                            (PP-CLR (P-ROLE to;{to})
                                                                    (NP;{SHOW} (D the;{the})
                                                                               (N show;{show}))))))))
          (PUNC .))
  (ID 5_a_fce_0100_2000_12))