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_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] 
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_3 Write n30_a_fce_0102_2000_12_6 the n30_a_fce_0102_2000_12_8 letter n30_a_fce_0102_2000_12_11 to n30_a_fce_0102_2000_12_15 your n30_a_fce_0102_2000_12_17 pen n30_a_fce_0102_2000_12_19 friend n30_a_fce_0102_2000_12_21 . n30_a_fce_0102_2000_12_1 IP-IMP n30_a_fce_0102_2000_12_2 VB;_Dn.pr_ n30_a_fce_0102_2000_12_1->n30_a_fce_0102_2000_12_2 n30_a_fce_0102_2000_12_4 NP-OB1 n30_a_fce_0102_2000_12_1->n30_a_fce_0102_2000_12_4 n30_a_fce_0102_2000_12_9 PP-OB2 n30_a_fce_0102_2000_12_1->n30_a_fce_0102_2000_12_9 n30_a_fce_0102_2000_12_20 PUNC n30_a_fce_0102_2000_12_1->n30_a_fce_0102_2000_12_20 n30_a_fce_0102_2000_12_2->n30_a_fce_0102_2000_12_3 n30_a_fce_0102_2000_12_5 D n30_a_fce_0102_2000_12_4->n30_a_fce_0102_2000_12_5 n30_a_fce_0102_2000_12_7 N n30_a_fce_0102_2000_12_4->n30_a_fce_0102_2000_12_7 n30_a_fce_0102_2000_12_5->n30_a_fce_0102_2000_12_6 n30_a_fce_0102_2000_12_7->n30_a_fce_0102_2000_12_8 n30_a_fce_0102_2000_12_10 P-ROLE n30_a_fce_0102_2000_12_9->n30_a_fce_0102_2000_12_10 n30_a_fce_0102_2000_12_12 NP n30_a_fce_0102_2000_12_9->n30_a_fce_0102_2000_12_12 n30_a_fce_0102_2000_12_10->n30_a_fce_0102_2000_12_11 n30_a_fce_0102_2000_12_13 NP-GEN n30_a_fce_0102_2000_12_12->n30_a_fce_0102_2000_12_13 n30_a_fce_0102_2000_12_16 N n30_a_fce_0102_2000_12_12->n30_a_fce_0102_2000_12_16 n30_a_fce_0102_2000_12_18 N n30_a_fce_0102_2000_12_12->n30_a_fce_0102_2000_12_18 n30_a_fce_0102_2000_12_14 PRO;_genm_ n30_a_fce_0102_2000_12_13->n30_a_fce_0102_2000_12_14 n30_a_fce_0102_2000_12_14->n30_a_fce_0102_2000_12_15 n30_a_fce_0102_2000_12_16->n30_a_fce_0102_2000_12_17 n30_a_fce_0102_2000_12_18->n30_a_fce_0102_2000_12_19 n30_a_fce_0102_2000_12_20->n30_a_fce_0102_2000_12_21 
( (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))