Context                Previous, Next                Top


30_a_fce_0102_2000_12
Write the letter to your pen friend.

%3 r_0030_0001__Write Write r_0030_0002__the_r_0030_0003__letter the letter r_0030_0001__Write->r_0030_0002__the_r_0030_0003__letter [arg1] r_0030_0006__pen_r_0030_0007__friend pen friend r_0030_0001__Write->r_0030_0006__pen_r_0030_0007__friend [arg2] z_000_30_a_fce_0102_2000_12_1 r_0030_0001__Write->z_000_30_a_fce_0102_2000_12_1 [arg0] r_0030_0005__your your r_0030_0006__pen_r_0030_0007__friend->r_0030_0005__your [gen] 
arc(r_0030_0001__Write, r_0030_0002__the_r_0030_0003__letter, arg1).
arc(r_0030_0001__Write, r_0030_0006__pen_r_0030_0007__friend, arg2).
arc(r_0030_0001__Write, z_000_30_a_fce_0102_2000_12_1, arg0).
arc(r_0030_0006__pen_r_0030_0007__friend, r_0030_0005__your, gen).


%3 r_0030_0006__pen_r_0030_0007__friend pen friend r_0030_0005__your your r_0030_0006__pen_r_0030_0007__friend->r_0030_0005__your [gen] r_0030_0001__Write Write r_0030_0001__Write->r_0030_0006__pen_r_0030_0007__friend [arg2] z_000_30_a_fce_0102_2000_12_1 r_0030_0001__Write->z_000_30_a_fce_0102_2000_12_1 [arg0] r_0030_0002__the_r_0030_0003__letter the letter r_0030_0001__Write->r_0030_0002__the_r_0030_0003__letter [arg1] 
fof(formula,axiom,
    ? [R_30_1_WRITE,Z_30_A_FCE_102_2000_12_1,R_30_2_THE_LETTER,R_30_6_PEN_FRIEND,R_30_5_YOUR] :
      ( the_letter(R_30_2_THE_LETTER)
      & your(R_30_5_YOUR)
      & write(R_30_1_WRITE,Z_30_A_FCE_102_2000_12_1,R_30_2_THE_LETTER,R_30_6_PEN_FRIEND)
      & pen_friend(R_30_6_PEN_FRIEND)
      & gen(R_30_6_PEN_FRIEND,R_30_5_YOUR) ) ).


n30_a_fce_0102_2000_12 n30_a_fce_0102_2000_12__1_1_1 Write n30_a_fce_0102_2000_12__1_2_1_1 the n30_a_fce_0102_2000_12__1_2_2_1 letter n30_a_fce_0102_2000_12__1_3_1_1 to n30_a_fce_0102_2000_12__1_3_2_1_1_1 your n30_a_fce_0102_2000_12__1_3_2_2_1 pen n30_a_fce_0102_2000_12__1_3_2_3_1 friend n30_a_fce_0102_2000_12__1_4_1 . n30_a_fce_0102_2000_12__1 IP-IMP n30_a_fce_0102_2000_12__1_1 VB;_Dn.pr_ n30_a_fce_0102_2000_12__1->n30_a_fce_0102_2000_12__1_1 n30_a_fce_0102_2000_12__1_2 NP-OB1 n30_a_fce_0102_2000_12__1->n30_a_fce_0102_2000_12__1_2 n30_a_fce_0102_2000_12__1_3 PP-OB2 n30_a_fce_0102_2000_12__1->n30_a_fce_0102_2000_12__1_3 n30_a_fce_0102_2000_12__1_4 PUNC n30_a_fce_0102_2000_12__1->n30_a_fce_0102_2000_12__1_4 n30_a_fce_0102_2000_12__1_1->n30_a_fce_0102_2000_12__1_1_1 n30_a_fce_0102_2000_12__1_2_1 D n30_a_fce_0102_2000_12__1_2->n30_a_fce_0102_2000_12__1_2_1 n30_a_fce_0102_2000_12__1_2_2 N n30_a_fce_0102_2000_12__1_2->n30_a_fce_0102_2000_12__1_2_2 n30_a_fce_0102_2000_12__1_2_1->n30_a_fce_0102_2000_12__1_2_1_1 n30_a_fce_0102_2000_12__1_2_2->n30_a_fce_0102_2000_12__1_2_2_1 n30_a_fce_0102_2000_12__1_3_1 P-ROLE n30_a_fce_0102_2000_12__1_3->n30_a_fce_0102_2000_12__1_3_1 n30_a_fce_0102_2000_12__1_3_2 NP n30_a_fce_0102_2000_12__1_3->n30_a_fce_0102_2000_12__1_3_2 n30_a_fce_0102_2000_12__1_3_1->n30_a_fce_0102_2000_12__1_3_1_1 n30_a_fce_0102_2000_12__1_3_2_1 NP-GEN n30_a_fce_0102_2000_12__1_3_2->n30_a_fce_0102_2000_12__1_3_2_1 n30_a_fce_0102_2000_12__1_3_2_2 N n30_a_fce_0102_2000_12__1_3_2->n30_a_fce_0102_2000_12__1_3_2_2 n30_a_fce_0102_2000_12__1_3_2_3 N n30_a_fce_0102_2000_12__1_3_2->n30_a_fce_0102_2000_12__1_3_2_3 n30_a_fce_0102_2000_12__1_3_2_1_1 PRO;_genm_ n30_a_fce_0102_2000_12__1_3_2_1->n30_a_fce_0102_2000_12__1_3_2_1_1 n30_a_fce_0102_2000_12__1_3_2_1_1->n30_a_fce_0102_2000_12__1_3_2_1_1_1 n30_a_fce_0102_2000_12__1_3_2_2->n30_a_fce_0102_2000_12__1_3_2_2_1 n30_a_fce_0102_2000_12__1_3_2_3->n30_a_fce_0102_2000_12__1_3_2_3_1 n30_a_fce_0102_2000_12__1_4->n30_a_fce_0102_2000_12__1_4_1 
( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1 (D the;{the})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N pen;{pen})
                      (N friend;{friend})))
          (PUNC .))
  (ID 30_a_fce_0102_2000_12))