16_a_fce_0102_2001_06
You have had a class discussion on shopping.
arc(r_0016_0002__have, r_0016_0003__had, scope).
arc(r_0016_0003__had, r_0016_0001__You, arg0).
arc(r_0016_0003__had, r_0016_0004__a_r_0016_0005__class_r_0016_0006__discussion, arg1).
arc(r_0016_0004__a_r_0016_0005__class_r_0016_0006__discussion, r_0016_0008__shopping, r_0016_0007__on).
fof(formula,axiom,
? [R_16_2_HAVE_HAD,R_16_1_YOU,R_16_4_A_CLASS_DISCUSSION,R_16_8_SHOPPING] :
( you(R_16_1_YOU)
& shopping(R_16_8_SHOPPING)
& have_had(R_16_2_HAVE_HAD,R_16_1_YOU,R_16_4_A_CLASS_DISCUSSION)
& a_class_discussion(R_16_4_A_CLASS_DISCUSSION)
& on(R_16_4_A_CLASS_DISCUSSION,R_16_8_SHOPPING) ) ).
( (IP-MAT (NP-SBJ (PRO You;{you}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (HVN;_Tn_ had;{have})
(NP-OB1 (D a;{a})
(N class;{class})
(N discussion;{discussion})
(PP (P-ROLE on;{on})
(NP (N shopping;{shopping})))))
(PUNC .))
(ID 16_a_fce_0102_2001_06))