Context                Previous, Next                Top


27_a_fce_0100_2000_06
Write your letter.

n27_a_fce_0100_2000_06 n27_a_fce_0100_2000_06__1_1_1 Write n27_a_fce_0100_2000_06__1_2_1_1_1 your n27_a_fce_0100_2000_06__1_2_2_1 letter n27_a_fce_0100_2000_06__1_3_1 . n27_a_fce_0100_2000_06__1 IP-IMP n27_a_fce_0100_2000_06__1_1 VB;_Tn_ n27_a_fce_0100_2000_06__1->n27_a_fce_0100_2000_06__1_1 n27_a_fce_0100_2000_06__1_2 NP-OB1 n27_a_fce_0100_2000_06__1->n27_a_fce_0100_2000_06__1_2 n27_a_fce_0100_2000_06__1_3 PUNC n27_a_fce_0100_2000_06__1->n27_a_fce_0100_2000_06__1_3 n27_a_fce_0100_2000_06__1_1->n27_a_fce_0100_2000_06__1_1_1 n27_a_fce_0100_2000_06__1_2_1 NP-GEN n27_a_fce_0100_2000_06__1_2->n27_a_fce_0100_2000_06__1_2_1 n27_a_fce_0100_2000_06__1_2_2 N n27_a_fce_0100_2000_06__1_2->n27_a_fce_0100_2000_06__1_2_2 n27_a_fce_0100_2000_06__1_2_1_1 PRO;_genm_ n27_a_fce_0100_2000_06__1_2_1->n27_a_fce_0100_2000_06__1_2_1_1 n27_a_fce_0100_2000_06__1_2_1_1->n27_a_fce_0100_2000_06__1_2_1_1_1 n27_a_fce_0100_2000_06__1_2_2->n27_a_fce_0100_2000_06__1_2_2_1 n27_a_fce_0100_2000_06__1_3->n27_a_fce_0100_2000_06__1_3_1 
( (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))


%3 r_0027_0003__letter letter r_0027_0002__your your r_0027_0003__letter->r_0027_0002__your [gen] r_0027_0001__Write Write r_0027_0001__Write->r_0027_0003__letter [arg1] z_0027_5002 r_0027_0001__Write->z_0027_5002 [arg0] 
arc(r_0027_0001__Write,r_0027_0003__letter,arg1).
arc(r_0027_0001__Write,z_0027_5002,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_0027_5002 r_0027_0001__Write->z_0027_5002 [arg0] r_0027_0002__your your r_0027_0003__letter->r_0027_0002__your [gen] 
fof(formula,axiom,
    ? [R_0027_0002__YOUR,R_0027_0003__LETTER,Z_0027_5002,R_0027_0001__WRITE] :
      ( r_0027_0002__your(R_0027_0002__YOUR)
      & z_0027_5002(Z_0027_5002)
      & r_0027_0001__Write(R_0027_0001__WRITE)
      & has_arg0(R_0027_0001__WRITE,Z_0027_5002)
      & has_arg1(R_0027_0001__WRITE,R_0027_0003__LETTER)
      & r_0027_0003__letter(R_0027_0003__LETTER)
      & has_gen(R_0027_0003__LETTER,R_0027_0002__YOUR) ) ).