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_0016_0001__YOU,R_0016_0008__SHOPPING,R_0016_0004__A_R_0016_0005__CLASS_R_0016_0006__DISCUSSION,R_0016_0002__HAVE_R_0016_0003__HAD] :
( r_0016_0001__You(R_0016_0001__YOU)
& r_0016_0008__shopping(R_0016_0008__SHOPPING)
& r_0016_0002__have_r_0016_0003__had(R_0016_0002__HAVE_R_0016_0003__HAD)
& has_arg1(R_0016_0002__HAVE_R_0016_0003__HAD,R_0016_0004__A_R_0016_0005__CLASS_R_0016_0006__DISCUSSION)
& r_0016_0004__a_r_0016_0005__class_r_0016_0006__discussion(R_0016_0004__A_R_0016_0005__CLASS_R_0016_0006__DISCUSSION)
& has_r_0016_0007__on(R_0016_0004__A_R_0016_0005__CLASS_R_0016_0006__DISCUSSION,R_0016_0008__SHOPPING)
& has_arg0(R_0016_0002__HAVE_R_0016_0003__HAD,R_0016_0001__YOU) ) ).
( (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))