Context                Previous, Next                Top


27_a_fce_0100_2000_06
Write your letter.

%3 r_0027_0001__Write Write r_0027_0003__letter letter r_0027_0001__Write->r_0027_0003__letter [arg1] z_000_27_a_fce_0100_2000_06_1 r_0027_0001__Write->z_000_27_a_fce_0100_2000_06_1 [arg0] r_0027_0002__your your r_0027_0003__letter->r_0027_0002__your [gen] 
arc(r_0027_0001__Write, r_0027_0003__letter, arg1).
arc(r_0027_0001__Write, z_000_27_a_fce_0100_2000_06_1, arg0).
arc(r_0027_0003__letter, r_0027_0002__your, gen).


%3 r_0027_0001__Write Write r_0027_0003__letter letter r_0027_0001__Write->r_0027_0003__letter [arg1] z_000_27_a_fce_0100_2000_06_1 r_0027_0001__Write->z_000_27_a_fce_0100_2000_06_1 [arg0] r_0027_0002__your your r_0027_0003__letter->r_0027_0002__your [gen] 
fof(formula,axiom,
    ? [R_27_1_WRITE,Z_27_A_FCE_100_2000_6_1,R_27_3_LETTER,R_27_2_YOUR] :
      ( your(R_27_2_YOUR)
      & write(R_27_1_WRITE,Z_27_A_FCE_100_2000_6_1,R_27_3_LETTER)
      & letter(R_27_3_LETTER)
      & gen(R_27_3_LETTER,R_27_2_YOUR) ) ).


n27_a_fce_0100_2000_06 n27_a_fce_0100_2000_06_3 Write n27_a_fce_0100_2000_06_7 your n27_a_fce_0100_2000_06_9 letter n27_a_fce_0100_2000_06_11 . n27_a_fce_0100_2000_06_1 IP-IMP n27_a_fce_0100_2000_06_2 VB;_Tn_ n27_a_fce_0100_2000_06_1->n27_a_fce_0100_2000_06_2 n27_a_fce_0100_2000_06_4 NP-OB1 n27_a_fce_0100_2000_06_1->n27_a_fce_0100_2000_06_4 n27_a_fce_0100_2000_06_10 PUNC n27_a_fce_0100_2000_06_1->n27_a_fce_0100_2000_06_10 n27_a_fce_0100_2000_06_2->n27_a_fce_0100_2000_06_3 n27_a_fce_0100_2000_06_5 NP-GEN n27_a_fce_0100_2000_06_4->n27_a_fce_0100_2000_06_5 n27_a_fce_0100_2000_06_8 N n27_a_fce_0100_2000_06_4->n27_a_fce_0100_2000_06_8 n27_a_fce_0100_2000_06_6 PRO;_genm_ n27_a_fce_0100_2000_06_5->n27_a_fce_0100_2000_06_6 n27_a_fce_0100_2000_06_6->n27_a_fce_0100_2000_06_7 n27_a_fce_0100_2000_06_8->n27_a_fce_0100_2000_06_9 n27_a_fce_0100_2000_06_10->n27_a_fce_0100_2000_06_11 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1;{LETTER} (NP-GEN (PRO;_genm_ your;{your}))
                           (N letter;{letter}))
          (PUNC .))
  (ID 27_a_fce_0100_2000_06))