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_0015__Fashion_and_Leisure_r_0005_0016__Show the London Fashion and Leisure Show r_0005_0010__an_r_0005_0011__advertisement->r_0005_0013__the_r_0005_0014__London_r_0005_0015__Fashion_and_Leisure_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_0015__Fashion_and_Leisure_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, nim55).
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_clr68).



%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_r_0005_0009__seen have seen r_0005_0008__have_r_0005_0009__seen->r_0005_0003__the_r_0005_0004__students [arg0] r_0005_0001__However However 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_0013__the_r_0005_0014__London_r_0005_0015__Fashion_and_Leisure_r_0005_0016__Show the London Fashion and Leisure Show r_0005_0010__an_r_0005_0011__advertisement->r_0005_0013__the_r_0005_0014__London_r_0005_0015__Fashion_and_Leisure_r_0005_0016__Show for r_0005_0017__and and r_0005_0017__and->r_0005_0008__have_r_0005_0009__seen [conj1] r_0005_0019__would_r_0005_0021__like would like r_0005_0017__and->r_0005_0019__would_r_0005_0021__like [conj2] r_0005_0019__would_r_0005_0021__like->r_0005_0006__your [arg0] r_0005_0019__would_r_0005_0021__like->r_0005_0001__However [nim] r_0005_0020__all all r_0005_0019__would_r_0005_0021__like->r_0005_0020__all [nim] r_0005_0022__to_r_0005_0023__go to go r_0005_0019__would_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]
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_FASHION_AND_LEISURE_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_Fashion_and_Leisure_Show(R_5_13_THE_LONDON_FASHION_AND_LEISURE_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_FASHION_AND_LEISURE_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_clr68(R_5_22_TO_GO,R_5_25_THE_SHOW)
      & nim2(R_5_19_WOULD_LIKE,R_5_1_HOWEVER)
      & nim55(R_5_19_WOULD_LIKE,R_5_20_ALL) ) ).



n5_a_fce_0100_2000_12 n5_a_fce_0100_2000_12_4 However n5_a_fce_0100_2000_12_6 , n5_a_fce_0100_2000_12_11 the n5_a_fce_0100_2000_12_13 students n5_a_fce_0100_2000_12_16 in n5_a_fce_0100_2000_12_20 your n5_a_fce_0100_2000_12_22 class n5_a_fce_0100_2000_12_24 have n5_a_fce_0100_2000_12_27 seen n5_a_fce_0100_2000_12_30 an n5_a_fce_0100_2000_12_32 advertisement n5_a_fce_0100_2000_12_35 for n5_a_fce_0100_2000_12_38 the n5_a_fce_0100_2000_12_40 London n5_a_fce_0100_2000_12_42 Fashion_and_Leisure n5_a_fce_0100_2000_12_44 Show n5_a_fce_0100_2000_12_47 and n5_a_fce_0100_2000_12_51 you n5_a_fce_0100_2000_12_53 would n5_a_fce_0100_2000_12_57 all n5_a_fce_0100_2000_12_59 like n5_a_fce_0100_2000_12_62 to n5_a_fce_0100_2000_12_64 go n5_a_fce_0100_2000_12_67 to n5_a_fce_0100_2000_12_70 the n5_a_fce_0100_2000_12_72 show n5_a_fce_0100_2000_12_74 . n5_a_fce_0100_2000_12_1 IP-MAT n5_a_fce_0100_2000_12_2 ADVP-NIM n5_a_fce_0100_2000_12_1->n5_a_fce_0100_2000_12_2 n5_a_fce_0100_2000_12_5 PUNC n5_a_fce_0100_2000_12_1->n5_a_fce_0100_2000_12_5 n5_a_fce_0100_2000_12_7 ILYR n5_a_fce_0100_2000_12_1->n5_a_fce_0100_2000_12_7 n5_a_fce_0100_2000_12_73 PUNC n5_a_fce_0100_2000_12_1->n5_a_fce_0100_2000_12_73 n5_a_fce_0100_2000_12_3 ADV n5_a_fce_0100_2000_12_2->n5_a_fce_0100_2000_12_3 n5_a_fce_0100_2000_12_3->n5_a_fce_0100_2000_12_4 n5_a_fce_0100_2000_12_5->n5_a_fce_0100_2000_12_6 n5_a_fce_0100_2000_12_8 ILYR n5_a_fce_0100_2000_12_7->n5_a_fce_0100_2000_12_8 n5_a_fce_0100_2000_12_45 CONJP n5_a_fce_0100_2000_12_7->n5_a_fce_0100_2000_12_45 n5_a_fce_0100_2000_12_9 NP-SBJ n5_a_fce_0100_2000_12_8->n5_a_fce_0100_2000_12_9 n5_a_fce_0100_2000_12_23 HVP;_cat_Ve_ n5_a_fce_0100_2000_12_8->n5_a_fce_0100_2000_12_23 n5_a_fce_0100_2000_12_25 IP-PPL-CAT n5_a_fce_0100_2000_12_8->n5_a_fce_0100_2000_12_25 n5_a_fce_0100_2000_12_10 D n5_a_fce_0100_2000_12_9->n5_a_fce_0100_2000_12_10 n5_a_fce_0100_2000_12_12 NS n5_a_fce_0100_2000_12_9->n5_a_fce_0100_2000_12_12 n5_a_fce_0100_2000_12_14 PP n5_a_fce_0100_2000_12_9->n5_a_fce_0100_2000_12_14 n5_a_fce_0100_2000_12_10->n5_a_fce_0100_2000_12_11 n5_a_fce_0100_2000_12_12->n5_a_fce_0100_2000_12_13 n5_a_fce_0100_2000_12_15 P-ROLE n5_a_fce_0100_2000_12_14->n5_a_fce_0100_2000_12_15 n5_a_fce_0100_2000_12_17 NP n5_a_fce_0100_2000_12_14->n5_a_fce_0100_2000_12_17 n5_a_fce_0100_2000_12_15->n5_a_fce_0100_2000_12_16 n5_a_fce_0100_2000_12_18 NP-GEN n5_a_fce_0100_2000_12_17->n5_a_fce_0100_2000_12_18 n5_a_fce_0100_2000_12_21 N n5_a_fce_0100_2000_12_17->n5_a_fce_0100_2000_12_21 n5_a_fce_0100_2000_12_19 PRO;_genm_ n5_a_fce_0100_2000_12_18->n5_a_fce_0100_2000_12_19 n5_a_fce_0100_2000_12_19->n5_a_fce_0100_2000_12_20 n5_a_fce_0100_2000_12_21->n5_a_fce_0100_2000_12_22 n5_a_fce_0100_2000_12_23->n5_a_fce_0100_2000_12_24 n5_a_fce_0100_2000_12_26 VVN;_Tn_ n5_a_fce_0100_2000_12_25->n5_a_fce_0100_2000_12_26 n5_a_fce_0100_2000_12_28 NP-OB1 n5_a_fce_0100_2000_12_25->n5_a_fce_0100_2000_12_28 n5_a_fce_0100_2000_12_26->n5_a_fce_0100_2000_12_27 n5_a_fce_0100_2000_12_29 D n5_a_fce_0100_2000_12_28->n5_a_fce_0100_2000_12_29 n5_a_fce_0100_2000_12_31 N n5_a_fce_0100_2000_12_28->n5_a_fce_0100_2000_12_31 n5_a_fce_0100_2000_12_33 PP n5_a_fce_0100_2000_12_28->n5_a_fce_0100_2000_12_33 n5_a_fce_0100_2000_12_29->n5_a_fce_0100_2000_12_30 n5_a_fce_0100_2000_12_31->n5_a_fce_0100_2000_12_32 n5_a_fce_0100_2000_12_34 P-ROLE n5_a_fce_0100_2000_12_33->n5_a_fce_0100_2000_12_34 n5_a_fce_0100_2000_12_36 NP n5_a_fce_0100_2000_12_33->n5_a_fce_0100_2000_12_36 n5_a_fce_0100_2000_12_34->n5_a_fce_0100_2000_12_35 n5_a_fce_0100_2000_12_37 D n5_a_fce_0100_2000_12_36->n5_a_fce_0100_2000_12_37 n5_a_fce_0100_2000_12_39 NPR n5_a_fce_0100_2000_12_36->n5_a_fce_0100_2000_12_39 n5_a_fce_0100_2000_12_41 NPR n5_a_fce_0100_2000_12_36->n5_a_fce_0100_2000_12_41 n5_a_fce_0100_2000_12_43 N n5_a_fce_0100_2000_12_36->n5_a_fce_0100_2000_12_43 n5_a_fce_0100_2000_12_37->n5_a_fce_0100_2000_12_38 n5_a_fce_0100_2000_12_39->n5_a_fce_0100_2000_12_40 n5_a_fce_0100_2000_12_41->n5_a_fce_0100_2000_12_42 n5_a_fce_0100_2000_12_43->n5_a_fce_0100_2000_12_44 n5_a_fce_0100_2000_12_46 CONJ n5_a_fce_0100_2000_12_45->n5_a_fce_0100_2000_12_46 n5_a_fce_0100_2000_12_48 ILYR n5_a_fce_0100_2000_12_45->n5_a_fce_0100_2000_12_48 n5_a_fce_0100_2000_12_46->n5_a_fce_0100_2000_12_47 n5_a_fce_0100_2000_12_49 NP-SBJ n5_a_fce_0100_2000_12_48->n5_a_fce_0100_2000_12_49 n5_a_fce_0100_2000_12_52 MD;_cat_Vi_ n5_a_fce_0100_2000_12_48->n5_a_fce_0100_2000_12_52 n5_a_fce_0100_2000_12_54 IP-INF-CAT n5_a_fce_0100_2000_12_48->n5_a_fce_0100_2000_12_54 n5_a_fce_0100_2000_12_50 PRO n5_a_fce_0100_2000_12_49->n5_a_fce_0100_2000_12_50 n5_a_fce_0100_2000_12_50->n5_a_fce_0100_2000_12_51 n5_a_fce_0100_2000_12_52->n5_a_fce_0100_2000_12_53 n5_a_fce_0100_2000_12_55 ADVP-NIM n5_a_fce_0100_2000_12_54->n5_a_fce_0100_2000_12_55 n5_a_fce_0100_2000_12_58 VB;_Tt_ n5_a_fce_0100_2000_12_54->n5_a_fce_0100_2000_12_58 n5_a_fce_0100_2000_12_60 IP-INF-OB1 n5_a_fce_0100_2000_12_54->n5_a_fce_0100_2000_12_60 n5_a_fce_0100_2000_12_56 ADV n5_a_fce_0100_2000_12_55->n5_a_fce_0100_2000_12_56 n5_a_fce_0100_2000_12_56->n5_a_fce_0100_2000_12_57 n5_a_fce_0100_2000_12_58->n5_a_fce_0100_2000_12_59 n5_a_fce_0100_2000_12_61 TO n5_a_fce_0100_2000_12_60->n5_a_fce_0100_2000_12_61 n5_a_fce_0100_2000_12_63 VB;_Ipr_ n5_a_fce_0100_2000_12_60->n5_a_fce_0100_2000_12_63 n5_a_fce_0100_2000_12_65 PP-CLR n5_a_fce_0100_2000_12_60->n5_a_fce_0100_2000_12_65 n5_a_fce_0100_2000_12_61->n5_a_fce_0100_2000_12_62 n5_a_fce_0100_2000_12_63->n5_a_fce_0100_2000_12_64 n5_a_fce_0100_2000_12_66 P-ROLE n5_a_fce_0100_2000_12_65->n5_a_fce_0100_2000_12_66 n5_a_fce_0100_2000_12_68 NP n5_a_fce_0100_2000_12_65->n5_a_fce_0100_2000_12_68 n5_a_fce_0100_2000_12_66->n5_a_fce_0100_2000_12_67 n5_a_fce_0100_2000_12_69 D n5_a_fce_0100_2000_12_68->n5_a_fce_0100_2000_12_69 n5_a_fce_0100_2000_12_71 N n5_a_fce_0100_2000_12_68->n5_a_fce_0100_2000_12_71 n5_a_fce_0100_2000_12_69->n5_a_fce_0100_2000_12_70 n5_a_fce_0100_2000_12_71->n5_a_fce_0100_2000_12_72 n5_a_fce_0100_2000_12_73->n5_a_fce_0100_2000_12_74
( (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 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))