Context                Previous, Next                Top


15_a_fce_0101_2000_06
Write your article

%3 r_0015_0001__Write Write r_0015_0003__article article r_0015_0001__Write->r_0015_0003__article [arg1] z_000_15_a_fce_0101_2000_06_1 r_0015_0001__Write->z_000_15_a_fce_0101_2000_06_1 [arg0] r_0015_0002__your your r_0015_0003__article->r_0015_0002__your [gen] 
arc(r_0015_0001__Write, r_0015_0003__article, arg1).
arc(r_0015_0001__Write, z_000_15_a_fce_0101_2000_06_1, arg0).
arc(r_0015_0003__article, r_0015_0002__your, gen).


%3 r_0015_0001__Write Write r_0015_0003__article article r_0015_0001__Write->r_0015_0003__article [arg1] z_000_15_a_fce_0101_2000_06_1 r_0015_0001__Write->z_000_15_a_fce_0101_2000_06_1 [arg0] r_0015_0002__your your r_0015_0003__article->r_0015_0002__your [gen] 
fof(formula,axiom,
    ? [R_15_1_WRITE,Z_15_A_FCE_101_2000_6_1,R_15_3_ARTICLE,R_15_2_YOUR] :
      ( your(R_15_2_YOUR)
      & write(R_15_1_WRITE,Z_15_A_FCE_101_2000_6_1,R_15_3_ARTICLE)
      & article(R_15_3_ARTICLE)
      & gen(R_15_3_ARTICLE,R_15_2_YOUR) ) ).


n15_a_fce_0101_2000_06 n15_a_fce_0101_2000_06_3 Write n15_a_fce_0101_2000_06_7 your n15_a_fce_0101_2000_06_9 article n15_a_fce_0101_2000_06_1 IP-IMP n15_a_fce_0101_2000_06_2 VB;_Tn_ n15_a_fce_0101_2000_06_1->n15_a_fce_0101_2000_06_2 n15_a_fce_0101_2000_06_4 NP-OB1 n15_a_fce_0101_2000_06_1->n15_a_fce_0101_2000_06_4 n15_a_fce_0101_2000_06_2->n15_a_fce_0101_2000_06_3 n15_a_fce_0101_2000_06_5 NP-GEN n15_a_fce_0101_2000_06_4->n15_a_fce_0101_2000_06_5 n15_a_fce_0101_2000_06_8 N n15_a_fce_0101_2000_06_4->n15_a_fce_0101_2000_06_8 n15_a_fce_0101_2000_06_6 PRO;_genm_ n15_a_fce_0101_2000_06_5->n15_a_fce_0101_2000_06_6 n15_a_fce_0101_2000_06_6->n15_a_fce_0101_2000_06_7 n15_a_fce_0101_2000_06_8->n15_a_fce_0101_2000_06_9 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N article;{article})))
  (ID 15_a_fce_0101_2000_06))