32_a_fce_0101_2001_06
Your class has had a discussion about communication.
( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
(N class;{class}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (HVN;_Tn_ had;{have})
(NP-OB1 (D a;{a})
(N discussion;{discussion})
(PP (P-ROLE about;{about})
(NP (N communication;{communication})))))
(PUNC .))
(ID 32_a_fce_0101_2001_06))
arc(r_0032_0002__class,r_0032_0001__Your,gen).
arc(r_0032_0003__has,r_0032_0004__had,scope).
arc(r_0032_0004__had,r_0032_0002__class,arg0).
arc(r_0032_0004__had,r_0032_0005__a_r_0032_0006__discussion,arg1).
arc(r_0032_0005__a_r_0032_0006__discussion,r_0032_0008__communication,r_0032_0007__about).
fof(formula,axiom,
? [R_0032_0001__YOUR,R_0032_0002__CLASS,R_0032_0008__COMMUNICATION,R_0032_0005__A_R_0032_0006__DISCUSSION,R_0032_0003__HAS_R_0032_0004__HAD] :
( r_0032_0001__Your(R_0032_0001__YOUR)
& r_0032_0008__communication(R_0032_0008__COMMUNICATION)
& r_0032_0003__has_r_0032_0004__had(R_0032_0003__HAS_R_0032_0004__HAD)
& has_arg1(R_0032_0003__HAS_R_0032_0004__HAD,R_0032_0005__A_R_0032_0006__DISCUSSION)
& r_0032_0005__a_r_0032_0006__discussion(R_0032_0005__A_R_0032_0006__DISCUSSION)
& has_r_0032_0007__about(R_0032_0005__A_R_0032_0006__DISCUSSION,R_0032_0008__COMMUNICATION)
& has_arg0(R_0032_0003__HAS_R_0032_0004__HAD,R_0032_0002__CLASS)
& r_0032_0002__class(R_0032_0002__CLASS)
& has_gen(R_0032_0002__CLASS,R_0032_0001__YOUR) ) ).