Context                Previous, Next                Top


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.

%3 r_0025_0002__month month r_0025_0001__Last Last r_0025_0002__month->r_0025_0001__Last [attrib] r_0025_0005__enjoyed enjoyed r_0025_0005__enjoyed->r_0025_0002__month [nim] r_0025_0004__you you r_0025_0005__enjoyed->r_0025_0004__you [arg0] r_0025_0006__helping helping r_0025_0005__enjoyed->r_0025_0006__helping [arg1] r_0025_0006__helping->r_0025_0004__you [arg0] r_0025_0008__a_r_0025_0009__pop_r_0025_0010__concert a pop concert r_0025_0006__helping->r_0025_0008__a_r_0025_0009__pop_r_0025_0010__concert at [nim] r_0025_0011__and and r_0025_0011__and->r_0025_0005__enjoyed [conj1] r_0025_0018__wants wants r_0025_0011__and->r_0025_0018__wants [conj2] r_0025_0013__pen_r_0025_0014__friend pen friend r_0025_0018__wants->r_0025_0013__pen_r_0025_0014__friend [arg0] r_0025_0019__to_r_0025_0020__hear to hear r_0025_0018__wants->r_0025_0019__to_r_0025_0020__hear [arg1] r_0025_0013__pen_r_0025_0014__friend->r_0025_0004__you [gen] r_0025_0019__to_r_0025_0020__hear->r_0025_0013__pen_r_0025_0014__friend [arg0] r_0025_0023__experience experience r_0025_0019__to_r_0025_0020__hear->r_0025_0023__experience about [clr] r_0025_0023__experience->r_0025_0004__you [gen] z_000_25_a_fce_0100_2000_06_44 z_000_25_a_fce_0100_2000_06_44->r_0025_0013__pen_r_0025_0014__friend [arg0] r_0025_0016__Kim Kim z_000_25_a_fce_0100_2000_06_44->r_0025_0016__Kim [prd] 
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).


%3 r_0025_0002__month month r_0025_0001__Last Last r_0025_0002__month->r_0025_0001__Last [attrib] r_0025_0005__enjoyed enjoyed r_0025_0005__enjoyed->r_0025_0002__month [nim] r_0025_0004__you you r_0025_0005__enjoyed->r_0025_0004__you [arg0] r_0025_0006__helping helping r_0025_0005__enjoyed->r_0025_0006__helping [arg1] r_0025_0006__helping->r_0025_0004__you [arg0] r_0025_0008__a_r_0025_0009__pop_r_0025_0010__concert a pop concert r_0025_0006__helping->r_0025_0008__a_r_0025_0009__pop_r_0025_0010__concert at [nim] r_0025_0011__and and r_0025_0011__and->r_0025_0005__enjoyed [conj1] r_0025_0018__wants wants r_0025_0011__and->r_0025_0018__wants [conj2] r_0025_0013__pen_r_0025_0014__friend pen friend r_0025_0018__wants->r_0025_0013__pen_r_0025_0014__friend [arg0] r_0025_0019__to_r_0025_0020__hear to hear r_0025_0018__wants->r_0025_0019__to_r_0025_0020__hear [arg1] r_0025_0013__pen_r_0025_0014__friend->r_0025_0004__you [gen] r_0025_0019__to_r_0025_0020__hear->r_0025_0013__pen_r_0025_0014__friend [arg0] r_0025_0023__experience experience r_0025_0019__to_r_0025_0020__hear->r_0025_0023__experience about [clr] r_0025_0023__experience->r_0025_0004__you [gen] z_000_25_a_fce_0100_2000_06_44 z_000_25_a_fce_0100_2000_06_44->r_0025_0013__pen_r_0025_0014__friend [arg0] r_0025_0016__Kim Kim z_000_25_a_fce_0100_2000_06_44->r_0025_0016__Kim [prd] 
fof(formula,axiom,
    ? [R_25_11_AND,R_25_5_ENJOYED,R_25_6_HELPING,R_25_8_A_POP_CONCERT,R_25_2_MONTH,R_25_1_LAST,R_25_18_WANTS,R_25_19_TO_HEAR,R_25_23_EXPERIENCE,Z_25_A_FCE_100_2000_6_44,R_25_13_PEN_FRIEND,R_25_4_YOU,R_25_16_KIM] :
      ( a_pop_concert(R_25_8_A_POP_CONCERT)
      & last(R_25_1_LAST)
      & you(R_25_4_YOU)
      & kim(R_25_16_KIM)
      & and(R_25_11_AND)
      & conj1(R_25_11_AND,R_25_5_ENJOYED)
      & enjoyed(R_25_5_ENJOYED,R_25_4_YOU,R_25_6_HELPING)
      & helping(R_25_6_HELPING,R_25_4_YOU)
      & at_nim23(R_25_6_HELPING,R_25_8_A_POP_CONCERT)
      & nim4(R_25_5_ENJOYED,R_25_2_MONTH)
      & month(R_25_2_MONTH)
      & attrib5(R_25_2_MONTH,R_25_1_LAST)
      & conj2(R_25_11_AND,R_25_18_WANTS)
      & wants(R_25_18_WANTS,R_25_13_PEN_FRIEND,R_25_19_TO_HEAR)
      & pen_friend(R_25_13_PEN_FRIEND)
      & gen(R_25_13_PEN_FRIEND,R_25_4_YOU)
      & to_hear(R_25_19_TO_HEAR,R_25_13_PEN_FRIEND)
      & about_clr60(R_25_19_TO_HEAR,R_25_23_EXPERIENCE)
      & experience(R_25_23_EXPERIENCE)
      & gen(R_25_23_EXPERIENCE,R_25_4_YOU)
      & z_25_a_fce_100_2000_6_44(Z_25_A_FCE_100_2000_6_44,R_25_13_PEN_FRIEND,R_25_16_KIM) ) ).


n25_a_fce_0100_2000_06 n25_a_fce_0100_2000_06_7 Last n25_a_fce_0100_2000_06_9 month n25_a_fce_0100_2000_06_11 , n25_a_fce_0100_2000_06_14 you n25_a_fce_0100_2000_06_16 enjoyed n25_a_fce_0100_2000_06_19 helping n25_a_fce_0100_2000_06_22 at n25_a_fce_0100_2000_06_25 a n25_a_fce_0100_2000_06_27 pop n25_a_fce_0100_2000_06_29 concert n25_a_fce_0100_2000_06_32 and n25_a_fce_0100_2000_06_37 your n25_a_fce_0100_2000_06_39 pen n25_a_fce_0100_2000_06_41 friend n25_a_fce_0100_2000_06_43 , n25_a_fce_0100_2000_06_47 Kim n25_a_fce_0100_2000_06_49 , n25_a_fce_0100_2000_06_51 wants n25_a_fce_0100_2000_06_54 to n25_a_fce_0100_2000_06_56 hear n25_a_fce_0100_2000_06_59 about n25_a_fce_0100_2000_06_63 your n25_a_fce_0100_2000_06_65 experience n25_a_fce_0100_2000_06_67 . n25_a_fce_0100_2000_06_1 IP-MAT n25_a_fce_0100_2000_06_2 ILYR n25_a_fce_0100_2000_06_1->n25_a_fce_0100_2000_06_2 n25_a_fce_0100_2000_06_66 PUNC n25_a_fce_0100_2000_06_1->n25_a_fce_0100_2000_06_66 n25_a_fce_0100_2000_06_3 ILYR n25_a_fce_0100_2000_06_2->n25_a_fce_0100_2000_06_3 n25_a_fce_0100_2000_06_30 CONJP n25_a_fce_0100_2000_06_2->n25_a_fce_0100_2000_06_30 n25_a_fce_0100_2000_06_4 NP-NIM n25_a_fce_0100_2000_06_3->n25_a_fce_0100_2000_06_4 n25_a_fce_0100_2000_06_10 PUNC n25_a_fce_0100_2000_06_3->n25_a_fce_0100_2000_06_10 n25_a_fce_0100_2000_06_12 NP-SBJ n25_a_fce_0100_2000_06_3->n25_a_fce_0100_2000_06_12 n25_a_fce_0100_2000_06_15 VBD;_Tg_ n25_a_fce_0100_2000_06_3->n25_a_fce_0100_2000_06_15 n25_a_fce_0100_2000_06_17 IP-PPL-OB1 n25_a_fce_0100_2000_06_3->n25_a_fce_0100_2000_06_17 n25_a_fce_0100_2000_06_5 ADJP n25_a_fce_0100_2000_06_4->n25_a_fce_0100_2000_06_5 n25_a_fce_0100_2000_06_8 N n25_a_fce_0100_2000_06_4->n25_a_fce_0100_2000_06_8 n25_a_fce_0100_2000_06_6 ADJ n25_a_fce_0100_2000_06_5->n25_a_fce_0100_2000_06_6 n25_a_fce_0100_2000_06_6->n25_a_fce_0100_2000_06_7 n25_a_fce_0100_2000_06_8->n25_a_fce_0100_2000_06_9 n25_a_fce_0100_2000_06_10->n25_a_fce_0100_2000_06_11 n25_a_fce_0100_2000_06_13 PRO n25_a_fce_0100_2000_06_12->n25_a_fce_0100_2000_06_13 n25_a_fce_0100_2000_06_13->n25_a_fce_0100_2000_06_14 n25_a_fce_0100_2000_06_15->n25_a_fce_0100_2000_06_16 n25_a_fce_0100_2000_06_18 VAG;_I_ n25_a_fce_0100_2000_06_17->n25_a_fce_0100_2000_06_18 n25_a_fce_0100_2000_06_20 PP-NIM n25_a_fce_0100_2000_06_17->n25_a_fce_0100_2000_06_20 n25_a_fce_0100_2000_06_18->n25_a_fce_0100_2000_06_19 n25_a_fce_0100_2000_06_21 P-ROLE n25_a_fce_0100_2000_06_20->n25_a_fce_0100_2000_06_21 n25_a_fce_0100_2000_06_23 NP n25_a_fce_0100_2000_06_20->n25_a_fce_0100_2000_06_23 n25_a_fce_0100_2000_06_21->n25_a_fce_0100_2000_06_22 n25_a_fce_0100_2000_06_24 D n25_a_fce_0100_2000_06_23->n25_a_fce_0100_2000_06_24 n25_a_fce_0100_2000_06_26 N n25_a_fce_0100_2000_06_23->n25_a_fce_0100_2000_06_26 n25_a_fce_0100_2000_06_28 N n25_a_fce_0100_2000_06_23->n25_a_fce_0100_2000_06_28 n25_a_fce_0100_2000_06_24->n25_a_fce_0100_2000_06_25 n25_a_fce_0100_2000_06_26->n25_a_fce_0100_2000_06_27 n25_a_fce_0100_2000_06_28->n25_a_fce_0100_2000_06_29 n25_a_fce_0100_2000_06_31 CONJ n25_a_fce_0100_2000_06_30->n25_a_fce_0100_2000_06_31 n25_a_fce_0100_2000_06_33 ILYR n25_a_fce_0100_2000_06_30->n25_a_fce_0100_2000_06_33 n25_a_fce_0100_2000_06_31->n25_a_fce_0100_2000_06_32 n25_a_fce_0100_2000_06_34 NP-SBJ n25_a_fce_0100_2000_06_33->n25_a_fce_0100_2000_06_34 n25_a_fce_0100_2000_06_48 PUNC n25_a_fce_0100_2000_06_33->n25_a_fce_0100_2000_06_48 n25_a_fce_0100_2000_06_50 VBP;_Tt_ n25_a_fce_0100_2000_06_33->n25_a_fce_0100_2000_06_50 n25_a_fce_0100_2000_06_52 IP-INF-OB1 n25_a_fce_0100_2000_06_33->n25_a_fce_0100_2000_06_52 n25_a_fce_0100_2000_06_35 NP-GEN n25_a_fce_0100_2000_06_34->n25_a_fce_0100_2000_06_35 n25_a_fce_0100_2000_06_38 N n25_a_fce_0100_2000_06_34->n25_a_fce_0100_2000_06_38 n25_a_fce_0100_2000_06_40 N n25_a_fce_0100_2000_06_34->n25_a_fce_0100_2000_06_40 n25_a_fce_0100_2000_06_42 PUNC n25_a_fce_0100_2000_06_34->n25_a_fce_0100_2000_06_42 n25_a_fce_0100_2000_06_44 IP-PPL n25_a_fce_0100_2000_06_34->n25_a_fce_0100_2000_06_44 n25_a_fce_0100_2000_06_36 PRO;_genm_ n25_a_fce_0100_2000_06_35->n25_a_fce_0100_2000_06_36 n25_a_fce_0100_2000_06_36->n25_a_fce_0100_2000_06_37 n25_a_fce_0100_2000_06_38->n25_a_fce_0100_2000_06_39 n25_a_fce_0100_2000_06_40->n25_a_fce_0100_2000_06_41 n25_a_fce_0100_2000_06_42->n25_a_fce_0100_2000_06_43 n25_a_fce_0100_2000_06_45 NP-PRD n25_a_fce_0100_2000_06_44->n25_a_fce_0100_2000_06_45 n25_a_fce_0100_2000_06_46 NPR n25_a_fce_0100_2000_06_45->n25_a_fce_0100_2000_06_46 n25_a_fce_0100_2000_06_46->n25_a_fce_0100_2000_06_47 n25_a_fce_0100_2000_06_48->n25_a_fce_0100_2000_06_49 n25_a_fce_0100_2000_06_50->n25_a_fce_0100_2000_06_51 n25_a_fce_0100_2000_06_53 TO n25_a_fce_0100_2000_06_52->n25_a_fce_0100_2000_06_53 n25_a_fce_0100_2000_06_55 VB;_phr_Vpr_ n25_a_fce_0100_2000_06_52->n25_a_fce_0100_2000_06_55 n25_a_fce_0100_2000_06_57 PP-CLR n25_a_fce_0100_2000_06_52->n25_a_fce_0100_2000_06_57 n25_a_fce_0100_2000_06_53->n25_a_fce_0100_2000_06_54 n25_a_fce_0100_2000_06_55->n25_a_fce_0100_2000_06_56 n25_a_fce_0100_2000_06_58 P-ROLE n25_a_fce_0100_2000_06_57->n25_a_fce_0100_2000_06_58 n25_a_fce_0100_2000_06_60 NP n25_a_fce_0100_2000_06_57->n25_a_fce_0100_2000_06_60 n25_a_fce_0100_2000_06_58->n25_a_fce_0100_2000_06_59 n25_a_fce_0100_2000_06_61 NP-GEN n25_a_fce_0100_2000_06_60->n25_a_fce_0100_2000_06_61 n25_a_fce_0100_2000_06_64 N n25_a_fce_0100_2000_06_60->n25_a_fce_0100_2000_06_64 n25_a_fce_0100_2000_06_62 PRO;_genm_ n25_a_fce_0100_2000_06_61->n25_a_fce_0100_2000_06_62 n25_a_fce_0100_2000_06_62->n25_a_fce_0100_2000_06_63 n25_a_fce_0100_2000_06_64->n25_a_fce_0100_2000_06_65 n25_a_fce_0100_2000_06_66->n25_a_fce_0100_2000_06_67 
( (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))