16_a_fce_0102_2001_06
You have had a class discussion on 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))
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) ) ).