Context                Previous, Next                Top


5_a_fce_0102_2001_12
Then, using all your notes, write a letter to your friend giving the information requested and saying whether you would recommend the trip.

%3 r_0005_0003__using using r_0005_0006__notes notes r_0005_0003__using->r_0005_0006__notes [arg1] z_000_5_a_fce_0102_2001_12_1 r_0005_0003__using->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0005__your your r_0005_0006__notes->r_0005_0005__your [gen] r_0005_0004__all_quant all [quant] r_0005_0004__all_quant->r_0005_0003__using [scope] r_0005_0004__all_quant->r_0005_0006__notes [restriction] r_0005_0008__write write r_0005_0008__write->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0001__Then Then r_0005_0008__write->r_0005_0001__Then [nim] r_0005_0009__a_r_0005_0010__letter a letter r_0005_0008__write->r_0005_0009__a_r_0005_0010__letter [arg1] r_0005_0013__friend friend r_0005_0008__write->r_0005_0013__friend [arg2] r_0005_0013__friend->r_0005_0005__your [gen] r_0005_0014__giving giving r_0005_0014__giving->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0015__the_r_0005_0016__information the information r_0005_0014__giving->r_0005_0015__the_r_0005_0016__information [arg1] r_0005_0017__requested requested r_0005_0017__requested->r_0005_0015__the_r_0005_0016__information [arg1] z_000_5_a_fce_0102_2001_12_49 r_0005_0017__requested->z_000_5_a_fce_0102_2001_12_49 [arg0] r_0005_0018__and and r_0005_0018__and->r_0005_0014__giving [conj1] r_0005_0019__saying saying r_0005_0018__and->r_0005_0019__saying [conj2] r_0005_0019__saying->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0020__whether_r_0005_0022__would whether would r_0005_0019__saying->r_0005_0020__whether_r_0005_0022__would [arg1] r_0005_0023__recommend recommend r_0005_0020__whether_r_0005_0022__would->r_0005_0023__recommend [scope] r_0005_0023__recommend->r_0005_0005__your [arg0] r_0005_0024__the_r_0005_0025__trip the trip r_0005_0023__recommend->r_0005_0024__the_r_0005_0025__trip [arg1] z_000_5_a_fce_0102_2001_12_37 z_000_5_a_fce_0102_2001_12_37->r_0005_0008__write [scope] z_000_5_a_fce_0102_2001_12_37->r_0005_0018__and [restriction] z_000_5_a_fce_0102_2001_12_7 z_000_5_a_fce_0102_2001_12_7->r_0005_0004__all_quant [restriction] z_000_5_a_fce_0102_2001_12_7->z_000_5_a_fce_0102_2001_12_37 [scope] 
arc(r_0005_0003__using, r_0005_0006__notes, arg1).
arc(r_0005_0003__using, z_000_5_a_fce_0102_2001_12_1, arg0).
arc(r_0005_0004__all_quant, r_0005_0003__using, scope).
arc(r_0005_0004__all_quant, r_0005_0006__notes, restriction).
arc(r_0005_0006__notes, r_0005_0005__your, gen).
arc(r_0005_0008__write, r_0005_0001__Then, nim2).
arc(r_0005_0008__write, r_0005_0009__a_r_0005_0010__letter, arg1).
arc(r_0005_0008__write, r_0005_0013__friend, arg2).
arc(r_0005_0008__write, z_000_5_a_fce_0102_2001_12_1, arg0).
arc(r_0005_0013__friend, r_0005_0005__your, gen).
arc(r_0005_0014__giving, r_0005_0015__the_r_0005_0016__information, arg1).
arc(r_0005_0014__giving, z_000_5_a_fce_0102_2001_12_1, arg0).
arc(r_0005_0017__requested, r_0005_0015__the_r_0005_0016__information, arg1).
arc(r_0005_0017__requested, z_000_5_a_fce_0102_2001_12_49, arg0).
arc(r_0005_0018__and, r_0005_0014__giving, conj1).
arc(r_0005_0018__and, r_0005_0019__saying, conj2).
arc(r_0005_0019__saying, r_0005_0020__whether_r_0005_0022__would, arg1).
arc(r_0005_0019__saying, z_000_5_a_fce_0102_2001_12_1, arg0).
arc(r_0005_0020__whether_r_0005_0022__would, r_0005_0023__recommend, scope).
arc(r_0005_0023__recommend, r_0005_0005__your, arg0).
arc(r_0005_0023__recommend, r_0005_0024__the_r_0005_0025__trip, arg1).
arc(z_000_5_a_fce_0102_2001_12_37, r_0005_0008__write, scope).
arc(z_000_5_a_fce_0102_2001_12_37, r_0005_0018__and, restriction).
arc(z_000_5_a_fce_0102_2001_12_7, r_0005_0004__all_quant, restriction).
arc(z_000_5_a_fce_0102_2001_12_7, z_000_5_a_fce_0102_2001_12_37, scope).


%3 r_0005_0003__using using r_0005_0006__notes notes r_0005_0003__using->r_0005_0006__notes [arg1] z_000_5_a_fce_0102_2001_12_1 r_0005_0003__using->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0005__your your r_0005_0006__notes->r_0005_0005__your [gen] r_0005_0004__all_quant all [quant] r_0005_0004__all_quant->r_0005_0003__using [scope] r_0005_0004__all_quant->r_0005_0006__notes [restriction] r_0005_0008__write write r_0005_0008__write->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0001__Then Then r_0005_0008__write->r_0005_0001__Then [nim] r_0005_0009__a_r_0005_0010__letter a letter r_0005_0008__write->r_0005_0009__a_r_0005_0010__letter [arg1] r_0005_0013__friend friend r_0005_0008__write->r_0005_0013__friend [arg2] r_0005_0013__friend->r_0005_0005__your [gen] r_0005_0014__giving giving r_0005_0014__giving->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0015__the_r_0005_0016__information the information r_0005_0014__giving->r_0005_0015__the_r_0005_0016__information [arg1] r_0005_0017__requested requested r_0005_0017__requested->r_0005_0015__the_r_0005_0016__information [arg1] z_000_5_a_fce_0102_2001_12_49 r_0005_0017__requested->z_000_5_a_fce_0102_2001_12_49 [arg0] r_0005_0018__and and r_0005_0018__and->r_0005_0014__giving [conj1] r_0005_0019__saying saying r_0005_0018__and->r_0005_0019__saying [conj2] r_0005_0019__saying->z_000_5_a_fce_0102_2001_12_1 [arg0] r_0005_0020__whether_r_0005_0022__would_r_0005_0023__recommend whether would recommend r_0005_0019__saying->r_0005_0020__whether_r_0005_0022__would_r_0005_0023__recommend [arg1] r_0005_0020__whether_r_0005_0022__would_r_0005_0023__recommend->r_0005_0005__your [arg0] r_0005_0024__the_r_0005_0025__trip the trip r_0005_0020__whether_r_0005_0022__would_r_0005_0023__recommend->r_0005_0024__the_r_0005_0025__trip [arg1] z_000_5_a_fce_0102_2001_12_37 z_000_5_a_fce_0102_2001_12_37->r_0005_0008__write [conj2] z_000_5_a_fce_0102_2001_12_37->r_0005_0018__and [conj1] z_000_5_a_fce_0102_2001_12_7 z_000_5_a_fce_0102_2001_12_7->r_0005_0004__all_quant [conj1] z_000_5_a_fce_0102_2001_12_7->z_000_5_a_fce_0102_2001_12_37 [conj2] 
fof(formula,axiom,
    ? [R_5_17_REQUESTED,Z_5_A_FCE_102_2001_12_49,Z_5_A_FCE_102_2001_12_7,Z_5_A_FCE_102_2001_12_37,R_5_18_AND,R_5_14_GIVING,R_5_15_THE_INFORMATION,R_5_19_SAYING,R_5_20_WHETHER_WOULD_RECOMMEND,R_5_24_THE_TRIP,R_5_8_WRITE,Z_5_A_FCE_102_2001_12_1,R_5_9_A_LETTER,R_5_13_FRIEND,R_5_5_YOUR,R_5_1_THEN] :
      ( the_information(R_5_15_THE_INFORMATION)
      & the_trip(R_5_24_THE_TRIP)
      & a_letter(R_5_9_A_LETTER)
      & your(R_5_5_YOUR)
      & then(R_5_1_THEN)
      & requested(R_5_17_REQUESTED,Z_5_A_FCE_102_2001_12_49,R_5_15_THE_INFORMATION)
      & ! [R_5_6_NOTES] :
          ( ( notes(R_5_6_NOTES)
            & gen(R_5_6_NOTES,R_5_5_YOUR) )
         => ? [R_5_3_USING] : using(R_5_3_USING,Z_5_A_FCE_102_2001_12_1,R_5_6_NOTES) )
      & conj1(CONJ1)
      & z_5_a_fce_102_2001_12_7(Z_5_A_FCE_102_2001_12_7)
      & conj2(Z_5_A_FCE_102_2001_12_7,Z_5_A_FCE_102_2001_12_37)
      & z_5_a_fce_102_2001_12_37(Z_5_A_FCE_102_2001_12_37)
      & conj1(Z_5_A_FCE_102_2001_12_37,R_5_18_AND)
      & and(R_5_18_AND)
      & conj1(R_5_18_AND,R_5_14_GIVING)
      & giving(R_5_14_GIVING,Z_5_A_FCE_102_2001_12_1,R_5_15_THE_INFORMATION)
      & conj2(R_5_18_AND,R_5_19_SAYING)
      & saying(R_5_19_SAYING,Z_5_A_FCE_102_2001_12_1,R_5_20_WHETHER_WOULD_RECOMMEND)
      & whether_would_recommend(R_5_20_WHETHER_WOULD_RECOMMEND,R_5_5_YOUR,R_5_24_THE_TRIP)
      & conj2(Z_5_A_FCE_102_2001_12_37,R_5_8_WRITE)
      & write(R_5_8_WRITE,Z_5_A_FCE_102_2001_12_1,R_5_9_A_LETTER,R_5_13_FRIEND)
      & friend(R_5_13_FRIEND)
      & gen(R_5_13_FRIEND,R_5_5_YOUR)
      & nim2(R_5_8_WRITE,R_5_1_THEN) ) ).


n5_a_fce_0102_2001_12 n5_a_fce_0102_2001_12_4 Then n5_a_fce_0102_2001_12_6 , n5_a_fce_0102_2001_12_10 using n5_a_fce_0102_2001_12_13 all n5_a_fce_0102_2001_12_16 your n5_a_fce_0102_2001_12_18 notes n5_a_fce_0102_2001_12_20 , n5_a_fce_0102_2001_12_22 write n5_a_fce_0102_2001_12_25 a n5_a_fce_0102_2001_12_27 letter n5_a_fce_0102_2001_12_30 to n5_a_fce_0102_2001_12_34 your n5_a_fce_0102_2001_12_36 friend n5_a_fce_0102_2001_12_42 giving n5_a_fce_0102_2001_12_45 the n5_a_fce_0102_2001_12_47 information n5_a_fce_0102_2001_12_50 * n5_a_fce_0102_2001_12_52 requested n5_a_fce_0102_2001_12_55 and n5_a_fce_0102_2001_12_58 saying n5_a_fce_0102_2001_12_62 whether n5_a_fce_0102_2001_12_65 you n5_a_fce_0102_2001_12_67 would n5_a_fce_0102_2001_12_70 recommend n5_a_fce_0102_2001_12_73 the n5_a_fce_0102_2001_12_75 trip n5_a_fce_0102_2001_12_77 . n5_a_fce_0102_2001_12_1 IP-IMP n5_a_fce_0102_2001_12_2 ADVP-NIM n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_2 n5_a_fce_0102_2001_12_5 PUNC n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_5 n5_a_fce_0102_2001_12_7 PP-SCON n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_7 n5_a_fce_0102_2001_12_19 PUNC n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_19 n5_a_fce_0102_2001_12_21 VB;_Dn.pr_ n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_21 n5_a_fce_0102_2001_12_23 NP-OB1 n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_23 n5_a_fce_0102_2001_12_28 PP-OB2 n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_28 n5_a_fce_0102_2001_12_37 PP-SCON n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_37 n5_a_fce_0102_2001_12_76 PUNC n5_a_fce_0102_2001_12_1->n5_a_fce_0102_2001_12_76 n5_a_fce_0102_2001_12_3 ADV n5_a_fce_0102_2001_12_2->n5_a_fce_0102_2001_12_3 n5_a_fce_0102_2001_12_3->n5_a_fce_0102_2001_12_4 n5_a_fce_0102_2001_12_5->n5_a_fce_0102_2001_12_6 n5_a_fce_0102_2001_12_8 IP-PPL n5_a_fce_0102_2001_12_7->n5_a_fce_0102_2001_12_8 n5_a_fce_0102_2001_12_9 VAG;_Tn_ n5_a_fce_0102_2001_12_8->n5_a_fce_0102_2001_12_9 n5_a_fce_0102_2001_12_11 NP-OB1 n5_a_fce_0102_2001_12_8->n5_a_fce_0102_2001_12_11 n5_a_fce_0102_2001_12_9->n5_a_fce_0102_2001_12_10 n5_a_fce_0102_2001_12_12 Q n5_a_fce_0102_2001_12_11->n5_a_fce_0102_2001_12_12 n5_a_fce_0102_2001_12_14 NP-GEN n5_a_fce_0102_2001_12_11->n5_a_fce_0102_2001_12_14 n5_a_fce_0102_2001_12_17 NS n5_a_fce_0102_2001_12_11->n5_a_fce_0102_2001_12_17 n5_a_fce_0102_2001_12_12->n5_a_fce_0102_2001_12_13 n5_a_fce_0102_2001_12_15 PRO;_genm_ n5_a_fce_0102_2001_12_14->n5_a_fce_0102_2001_12_15 n5_a_fce_0102_2001_12_15->n5_a_fce_0102_2001_12_16 n5_a_fce_0102_2001_12_17->n5_a_fce_0102_2001_12_18 n5_a_fce_0102_2001_12_19->n5_a_fce_0102_2001_12_20 n5_a_fce_0102_2001_12_21->n5_a_fce_0102_2001_12_22 n5_a_fce_0102_2001_12_24 D n5_a_fce_0102_2001_12_23->n5_a_fce_0102_2001_12_24 n5_a_fce_0102_2001_12_26 N n5_a_fce_0102_2001_12_23->n5_a_fce_0102_2001_12_26 n5_a_fce_0102_2001_12_24->n5_a_fce_0102_2001_12_25 n5_a_fce_0102_2001_12_26->n5_a_fce_0102_2001_12_27 n5_a_fce_0102_2001_12_29 P-ROLE n5_a_fce_0102_2001_12_28->n5_a_fce_0102_2001_12_29 n5_a_fce_0102_2001_12_31 NP n5_a_fce_0102_2001_12_28->n5_a_fce_0102_2001_12_31 n5_a_fce_0102_2001_12_29->n5_a_fce_0102_2001_12_30 n5_a_fce_0102_2001_12_32 NP-GEN n5_a_fce_0102_2001_12_31->n5_a_fce_0102_2001_12_32 n5_a_fce_0102_2001_12_35 N n5_a_fce_0102_2001_12_31->n5_a_fce_0102_2001_12_35 n5_a_fce_0102_2001_12_33 PRO;_genm_ n5_a_fce_0102_2001_12_32->n5_a_fce_0102_2001_12_33 n5_a_fce_0102_2001_12_33->n5_a_fce_0102_2001_12_34 n5_a_fce_0102_2001_12_35->n5_a_fce_0102_2001_12_36 n5_a_fce_0102_2001_12_38 IP-PPL2 n5_a_fce_0102_2001_12_37->n5_a_fce_0102_2001_12_38 n5_a_fce_0102_2001_12_39 ILYR n5_a_fce_0102_2001_12_38->n5_a_fce_0102_2001_12_39 n5_a_fce_0102_2001_12_40 ILYR n5_a_fce_0102_2001_12_39->n5_a_fce_0102_2001_12_40 n5_a_fce_0102_2001_12_53 CONJP n5_a_fce_0102_2001_12_39->n5_a_fce_0102_2001_12_53 n5_a_fce_0102_2001_12_41 VAG;_Tn_ n5_a_fce_0102_2001_12_40->n5_a_fce_0102_2001_12_41 n5_a_fce_0102_2001_12_43 NP-OB1 n5_a_fce_0102_2001_12_40->n5_a_fce_0102_2001_12_43 n5_a_fce_0102_2001_12_41->n5_a_fce_0102_2001_12_42 n5_a_fce_0102_2001_12_44 D n5_a_fce_0102_2001_12_43->n5_a_fce_0102_2001_12_44 n5_a_fce_0102_2001_12_46 N n5_a_fce_0102_2001_12_43->n5_a_fce_0102_2001_12_46 n5_a_fce_0102_2001_12_48 IP-PPL n5_a_fce_0102_2001_12_43->n5_a_fce_0102_2001_12_48 n5_a_fce_0102_2001_12_44->n5_a_fce_0102_2001_12_45 n5_a_fce_0102_2001_12_46->n5_a_fce_0102_2001_12_47 n5_a_fce_0102_2001_12_49 NP-LGS n5_a_fce_0102_2001_12_48->n5_a_fce_0102_2001_12_49 n5_a_fce_0102_2001_12_51 VVN;_Tn_ n5_a_fce_0102_2001_12_48->n5_a_fce_0102_2001_12_51 n5_a_fce_0102_2001_12_49->n5_a_fce_0102_2001_12_50 n5_a_fce_0102_2001_12_51->n5_a_fce_0102_2001_12_52 n5_a_fce_0102_2001_12_54 CONJ n5_a_fce_0102_2001_12_53->n5_a_fce_0102_2001_12_54 n5_a_fce_0102_2001_12_56 ILYR n5_a_fce_0102_2001_12_53->n5_a_fce_0102_2001_12_56 n5_a_fce_0102_2001_12_54->n5_a_fce_0102_2001_12_55 n5_a_fce_0102_2001_12_57 VAG;_Tw_ n5_a_fce_0102_2001_12_56->n5_a_fce_0102_2001_12_57 n5_a_fce_0102_2001_12_59 CP-QUE-OB1 n5_a_fce_0102_2001_12_56->n5_a_fce_0102_2001_12_59 n5_a_fce_0102_2001_12_57->n5_a_fce_0102_2001_12_58 n5_a_fce_0102_2001_12_60 IP-SUB n5_a_fce_0102_2001_12_59->n5_a_fce_0102_2001_12_60 n5_a_fce_0102_2001_12_61 WQ n5_a_fce_0102_2001_12_60->n5_a_fce_0102_2001_12_61 n5_a_fce_0102_2001_12_63 NP-SBJ n5_a_fce_0102_2001_12_60->n5_a_fce_0102_2001_12_63 n5_a_fce_0102_2001_12_66 MD;_cat_Vi_ n5_a_fce_0102_2001_12_60->n5_a_fce_0102_2001_12_66 n5_a_fce_0102_2001_12_68 IP-INF-CAT n5_a_fce_0102_2001_12_60->n5_a_fce_0102_2001_12_68 n5_a_fce_0102_2001_12_61->n5_a_fce_0102_2001_12_62 n5_a_fce_0102_2001_12_64 PRO n5_a_fce_0102_2001_12_63->n5_a_fce_0102_2001_12_64 n5_a_fce_0102_2001_12_64->n5_a_fce_0102_2001_12_65 n5_a_fce_0102_2001_12_66->n5_a_fce_0102_2001_12_67 n5_a_fce_0102_2001_12_69 VB;_Tn_ n5_a_fce_0102_2001_12_68->n5_a_fce_0102_2001_12_69 n5_a_fce_0102_2001_12_71 NP-OB1 n5_a_fce_0102_2001_12_68->n5_a_fce_0102_2001_12_71 n5_a_fce_0102_2001_12_69->n5_a_fce_0102_2001_12_70 n5_a_fce_0102_2001_12_72 D n5_a_fce_0102_2001_12_71->n5_a_fce_0102_2001_12_72 n5_a_fce_0102_2001_12_74 N n5_a_fce_0102_2001_12_71->n5_a_fce_0102_2001_12_74 n5_a_fce_0102_2001_12_72->n5_a_fce_0102_2001_12_73 n5_a_fce_0102_2001_12_74->n5_a_fce_0102_2001_12_75 n5_a_fce_0102_2001_12_76->n5_a_fce_0102_2001_12_77 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (Q all;{all})
                                   (NP-GEN (PRO;_genm_ your;{your}))
                                   (NS notes;{note}))))
          (PUNC ,)
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N friend;{friend})))
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ giving;{give})
                                        (NP-OB1 (D the;{the})
                                                (N information;{information})
                                                (IP-PPL (NP-LGS *)
                                                        (VVN;_Tn_ requested;{request}))))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Tw_ saying;{say})
                                               (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                                                                   (NP-SBJ (PRO you;{you}))
                                                                   (MD;_cat_Vi_ would;{will})
                                                                   (IP-INF-CAT (VB;_Tn_ recommend;{recommend})
                                                                               (NP-OB1 (D the;{the})
                                                                                       (N trip;{trip}))))))))))
          (PUNC .))
  (ID 5_a_fce_0102_2001_12))