23_a_fce_0100_2000_06
You have recently had a class discussion about shopping.
( (IP-MAT (NP-SBJ (PRO You;{you}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (ADVP-NIM (ADV recently;{recently}))
(HVN;_Tn_ had;{have})
(NP-OB1 (D a;{a})
(N class;{class})
(N discussion;{discussion})
(PP (P-ROLE about;{about})
(NP (N shopping;{shopping})))))
(PUNC .))
(ID 23_a_fce_0100_2000_06))
arc(r_0023_0002__have,r_0023_0004__had,scope).
arc(r_0023_0004__had,r_0023_0001__You,arg0).
arc(r_0023_0004__had,r_0023_0003__recently,nim).
arc(r_0023_0004__had,r_0023_0005__a_r_0023_0006__class_r_0023_0007__discussion,arg1).
arc(r_0023_0005__a_r_0023_0006__class_r_0023_0007__discussion,r_0023_0009__shopping,r_0023_0008__about).
fof(formula,axiom,
? [R_0023_0001__YOU,R_0023_0003__RECENTLY,R_0023_0009__SHOPPING,R_0023_0005__A_R_0023_0006__CLASS_R_0023_0007__DISCUSSION,R_0023_0002__HAVE_R_0023_0004__HAD] :
( r_0023_0001__You(R_0023_0001__YOU)
& r_0023_0003__recently(R_0023_0003__RECENTLY)
& r_0023_0009__shopping(R_0023_0009__SHOPPING)
& r_0023_0002__have_r_0023_0004__had(R_0023_0002__HAVE_R_0023_0004__HAD)
& has_arg1(R_0023_0002__HAVE_R_0023_0004__HAD,R_0023_0005__A_R_0023_0006__CLASS_R_0023_0007__DISCUSSION)
& r_0023_0005__a_r_0023_0006__class_r_0023_0007__discussion(R_0023_0005__A_R_0023_0006__CLASS_R_0023_0007__DISCUSSION)
& has_r_0023_0008__about(R_0023_0005__A_R_0023_0006__CLASS_R_0023_0007__DISCUSSION,R_0023_0009__SHOPPING)
& has_nim(R_0023_0002__HAVE_R_0023_0004__HAD,R_0023_0003__RECENTLY)
& has_arg0(R_0023_0002__HAVE_R_0023_0004__HAD,R_0023_0001__YOU) ) ).