25_a_fce_0100_2000_06
Last month, you enjoyed helping at a pop concert and your pen friend, Kim, wants to hear about your experience.
( (IP-MAT (ILYR (ILYR (NP-NIM (ADJP (ADJ Last;{last}))
(N month;{month}))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(VBD;_Tg_ enjoyed;{enjoy})
(IP-PPL-OB1 (VAG;_I_ helping;{help})
(PP-NIM (P-ROLE at;{at})
(NP (D a;{a})
(N pop;{pop})
(N concert;{concert})))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
(N pen;{pen})
(N friend;{friend})
(PUNC ,)
(PRN (NP;{KIM} (NPR Kim;{Kim}))))
(PUNC ,)
(VBP;_Tt_ wants;{want})
(IP-INF-OB1 (TO to;{to})
(VB;_phr_Vpr_ hear;{hear[about]})
(PP-CLR (P-ROLE about;{about})
(NP (NP-GEN (PRO;_genm_ your;{your}))
(N experience;{experience})))))))
(PUNC .))
(ID 25_a_fce_0100_2000_06))
arc(r_0025_0002__month,r_0025_0001__Last,attrib).
arc(r_0025_0005__enjoyed,r_0025_0002__month,nim).
arc(r_0025_0005__enjoyed,r_0025_0004__you,arg0).
arc(r_0025_0005__enjoyed,r_0025_0006__helping,arg1).
arc(r_0025_0006__helping,r_0025_0004__you,arg0).
arc(r_0025_0006__helping,r_0025_0008__a_r_0025_0009__pop_r_0025_0010__concert,r_0025_0007__at__nim).
arc(r_0025_0011__and,r_0025_0005__enjoyed,conj1).
arc(r_0025_0011__and,r_0025_0018__wants,conj2).
arc(r_0025_0013__pen_r_0025_0014__friend,r_0025_0004__you,gen).
arc(r_0025_0018__wants,r_0025_0013__pen_r_0025_0014__friend,arg0).
arc(r_0025_0018__wants,r_0025_0020__hear,arg1).
arc(r_0025_0020__hear,r_0025_0013__pen_r_0025_0014__friend,arg0).
arc(r_0025_0020__hear,r_0025_0023__experience,r_0025_0021__about__clr).
arc(r_0025_0023__experience,r_0025_0004__you,gen).
arc(z_0025_5009,r_0025_0013__pen_r_0025_0014__friend,arg0).
arc(z_0025_5009,r_0025_0016__Kim,prd).
fof(formula,axiom,
? [R_0025_0001__LAST,R_0025_0002__MONTH,R_0025_0004__YOU,R_0025_0008__A_R_0025_0009__POP_R_0025_0010__CONCERT,R_0025_0006__HELPING,R_0025_0005__ENJOYED,R_0025_0013__PEN_R_0025_0014__FRIEND,R_0025_0023__EXPERIENCE,R_0025_0020__HEAR,R_0025_0018__WANTS,R_0025_0011__AND,R_0025_0016__KIM,Z_0025_5009] :
( r_0025_0001__Last(R_0025_0001__LAST)
& r_0025_0004__you(R_0025_0004__YOU)
& r_0025_0008__a_r_0025_0009__pop_r_0025_0010__concert(R_0025_0008__A_R_0025_0009__POP_R_0025_0010__CONCERT)
& r_0025_0016__Kim(R_0025_0016__KIM)
& z_0025_5009(Z_0025_5009)
& has_prd(Z_0025_5009,R_0025_0016__KIM)
& has_arg0(Z_0025_5009,R_0025_0013__PEN_R_0025_0014__FRIEND)
& r_0025_0013__pen_r_0025_0014__friend(R_0025_0013__PEN_R_0025_0014__FRIEND)
& has_gen(R_0025_0013__PEN_R_0025_0014__FRIEND,R_0025_0004__YOU)
& r_0025_0011__and(R_0025_0011__AND)
& has_conj2(R_0025_0011__AND,R_0025_0018__WANTS)
& r_0025_0018__wants(R_0025_0018__WANTS)
& has_arg1(R_0025_0018__WANTS,R_0025_0020__HEAR)
& r_0025_0020__hear(R_0025_0020__HEAR)
& has_r_0025_0021__about__clr(R_0025_0020__HEAR,R_0025_0023__EXPERIENCE)
& r_0025_0023__experience(R_0025_0023__EXPERIENCE)
& has_gen(R_0025_0023__EXPERIENCE,R_0025_0004__YOU)
& has_arg0(R_0025_0020__HEAR,R_0025_0013__PEN_R_0025_0014__FRIEND)
& has_arg0(R_0025_0018__WANTS,R_0025_0013__PEN_R_0025_0014__FRIEND)
& has_conj1(R_0025_0011__AND,R_0025_0005__ENJOYED)
& r_0025_0005__enjoyed(R_0025_0005__ENJOYED)
& has_arg1(R_0025_0005__ENJOYED,R_0025_0006__HELPING)
& r_0025_0006__helping(R_0025_0006__HELPING)
& has_r_0025_0007__at__nim(R_0025_0006__HELPING,R_0025_0008__A_R_0025_0009__POP_R_0025_0010__CONCERT)
& has_arg0(R_0025_0006__HELPING,R_0025_0004__YOU)
& has_arg0(R_0025_0005__ENJOYED,R_0025_0004__YOU)
& has_nim(R_0025_0005__ENJOYED,R_0025_0002__MONTH)
& r_0025_0002__month(R_0025_0002__MONTH)
& has_attrib(R_0025_0002__MONTH,R_0025_0001__LAST) ) ).