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.
arc(r_0025_0002__month, r_0025_0001__Last, attrib5).
arc(r_0025_0005__enjoyed, r_0025_0002__month, nim4).
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_nim23).
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_0019__to_r_0025_0020__hear, arg1).
arc(r_0025_0019__to_r_0025_0020__hear, r_0025_0013__pen_r_0025_0014__friend, arg0).
arc(r_0025_0019__to_r_0025_0020__hear, r_0025_0023__experience, r_0025_0021__about_clr60).
arc(r_0025_0023__experience, r_0025_0004__you, gen).
arc(z_000_25_a_fce_0100_2000_06_44, r_0025_0013__pen_r_0025_0014__friend, arg0).
arc(z_000_25_a_fce_0100_2000_06_44, 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_0019__TO_R_0025_0020__HEAR,R_0025_0018__WANTS,R_0025_0011__AND,R_0025_0016__KIM,Z_000_25_A_FCE_0100_2000_06_44] :
( 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_000_25_a_fce_0100_2000_06_44(Z_000_25_A_FCE_0100_2000_06_44)
& has_prd(Z_000_25_A_FCE_0100_2000_06_44,R_0025_0016__KIM)
& has_arg0(Z_000_25_A_FCE_0100_2000_06_44,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_0019__TO_R_0025_0020__HEAR)
& r_0025_0019__to_r_0025_0020__hear(R_0025_0019__TO_R_0025_0020__HEAR)
& has_r_0025_0021__about_clr60(R_0025_0019__TO_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_0019__TO_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_nim23(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_nim4(R_0025_0005__ENJOYED,R_0025_0002__MONTH)
& r_0025_0002__month(R_0025_0002__MONTH)
& has_attrib5(R_0025_0002__MONTH,R_0025_0001__LAST) ) ).
( (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 ,)
(IP-PPL (NP-PRD;{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))