Context                Previous, Next                Top


22_a_fce_0100_2000_12
Write your article.

%3 r_0022_0001__Write Write r_0022_0003__article article r_0022_0001__Write->r_0022_0003__article [arg1] z_000_22_a_fce_0100_2000_12_1 r_0022_0001__Write->z_000_22_a_fce_0100_2000_12_1 [arg0] r_0022_0002__your your r_0022_0003__article->r_0022_0002__your [gen] 
arc(r_0022_0001__Write, r_0022_0003__article, arg1).
arc(r_0022_0001__Write, z_000_22_a_fce_0100_2000_12_1, arg0).
arc(r_0022_0003__article, r_0022_0002__your, gen).


%3 r_0022_0003__article article r_0022_0002__your your r_0022_0003__article->r_0022_0002__your [gen] r_0022_0001__Write Write r_0022_0001__Write->r_0022_0003__article [arg1] z_000_22_a_fce_0100_2000_12_1 r_0022_0001__Write->z_000_22_a_fce_0100_2000_12_1 [arg0] 
fof(formula,axiom,
    ? [R_22_1_WRITE,Z_22_A_FCE_100_2000_12_1,R_22_3_ARTICLE,R_22_2_YOUR] :
      ( your(R_22_2_YOUR)
      & write(R_22_1_WRITE,Z_22_A_FCE_100_2000_12_1,R_22_3_ARTICLE)
      & article(R_22_3_ARTICLE)
      & gen(R_22_3_ARTICLE,R_22_2_YOUR) ) ).


n22_a_fce_0100_2000_12 n22_a_fce_0100_2000_12__1_1_1 Write n22_a_fce_0100_2000_12__1_2_1_1_1 your n22_a_fce_0100_2000_12__1_2_2_1 article n22_a_fce_0100_2000_12__1_3_1 . n22_a_fce_0100_2000_12__1 IP-IMP n22_a_fce_0100_2000_12__1_1 VB;_Tn_ n22_a_fce_0100_2000_12__1->n22_a_fce_0100_2000_12__1_1 n22_a_fce_0100_2000_12__1_2 NP-OB1 n22_a_fce_0100_2000_12__1->n22_a_fce_0100_2000_12__1_2 n22_a_fce_0100_2000_12__1_3 PUNC n22_a_fce_0100_2000_12__1->n22_a_fce_0100_2000_12__1_3 n22_a_fce_0100_2000_12__1_1->n22_a_fce_0100_2000_12__1_1_1 n22_a_fce_0100_2000_12__1_2_1 NP-GEN n22_a_fce_0100_2000_12__1_2->n22_a_fce_0100_2000_12__1_2_1 n22_a_fce_0100_2000_12__1_2_2 N n22_a_fce_0100_2000_12__1_2->n22_a_fce_0100_2000_12__1_2_2 n22_a_fce_0100_2000_12__1_2_1_1 PRO;_genm_ n22_a_fce_0100_2000_12__1_2_1->n22_a_fce_0100_2000_12__1_2_1_1 n22_a_fce_0100_2000_12__1_2_1_1->n22_a_fce_0100_2000_12__1_2_1_1_1 n22_a_fce_0100_2000_12__1_2_2->n22_a_fce_0100_2000_12__1_2_2_1 n22_a_fce_0100_2000_12__1_3->n22_a_fce_0100_2000_12__1_3_1 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N article;{article}))
          (PUNC .))
  (ID 22_a_fce_0100_2000_12))