19_a_fce_0101_2000_06
You have had a class discussion on family life.
( (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 family;{family})
(N life;{life})))))
(PUNC .))
(ID 19_a_fce_0101_2000_06))
arc(r_0019_0002__have,r_0019_0003__had,scope).
arc(r_0019_0003__had,r_0019_0001__You,arg0).
arc(r_0019_0003__had,r_0019_0004__a_r_0019_0005__class_r_0019_0006__discussion,arg1).
arc(r_0019_0004__a_r_0019_0005__class_r_0019_0006__discussion,r_0019_0008__family_r_0019_0009__life,r_0019_0007__on).
fof(formula,axiom,
? [R_0019_0001__YOU,R_0019_0008__FAMILY_R_0019_0009__LIFE,R_0019_0004__A_R_0019_0005__CLASS_R_0019_0006__DISCUSSION,R_0019_0002__HAVE_R_0019_0003__HAD] :
( r_0019_0001__You(R_0019_0001__YOU)
& r_0019_0008__family_r_0019_0009__life(R_0019_0008__FAMILY_R_0019_0009__LIFE)
& r_0019_0002__have_r_0019_0003__had(R_0019_0002__HAVE_R_0019_0003__HAD)
& has_arg1(R_0019_0002__HAVE_R_0019_0003__HAD,R_0019_0004__A_R_0019_0005__CLASS_R_0019_0006__DISCUSSION)
& r_0019_0004__a_r_0019_0005__class_r_0019_0006__discussion(R_0019_0004__A_R_0019_0005__CLASS_R_0019_0006__DISCUSSION)
& has_r_0019_0007__on(R_0019_0004__A_R_0019_0005__CLASS_R_0019_0006__DISCUSSION,R_0019_0008__FAMILY_R_0019_0009__LIFE)
& has_arg0(R_0019_0002__HAVE_R_0019_0003__HAD,R_0019_0001__YOU) ) ).