Context                Previous, Next                Top


34_a_fce_0101_2001_06
Write your composition.

%3 r_0034_0001__Write Write r_0034_0003__composition composition r_0034_0001__Write->r_0034_0003__composition [arg1] z_000_34_a_fce_0101_2001_06_1 r_0034_0001__Write->z_000_34_a_fce_0101_2001_06_1 [arg0] r_0034_0002__your your r_0034_0003__composition->r_0034_0002__your [gen] 
arc(r_0034_0001__Write, r_0034_0003__composition, arg1).
arc(r_0034_0001__Write, z_000_34_a_fce_0101_2001_06_1, arg0).
arc(r_0034_0003__composition, r_0034_0002__your, gen).


%3 r_0034_0003__composition composition r_0034_0002__your your r_0034_0003__composition->r_0034_0002__your [gen] r_0034_0001__Write Write r_0034_0001__Write->r_0034_0003__composition [arg1] z_000_34_a_fce_0101_2001_06_1 r_0034_0001__Write->z_000_34_a_fce_0101_2001_06_1 [arg0] 
fof(formula,axiom,
    ? [R_34_1_WRITE,Z_34_A_FCE_101_2001_6_1,R_34_3_COMPOSITION,R_34_2_YOUR] :
      ( your(R_34_2_YOUR)
      & write(R_34_1_WRITE,Z_34_A_FCE_101_2001_6_1,R_34_3_COMPOSITION)
      & composition(R_34_3_COMPOSITION)
      & gen(R_34_3_COMPOSITION,R_34_2_YOUR) ) ).


n34_a_fce_0101_2001_06 n34_a_fce_0101_2001_06__1_1_1 Write n34_a_fce_0101_2001_06__1_2_1_1_1 your n34_a_fce_0101_2001_06__1_2_2_1 composition n34_a_fce_0101_2001_06__1_3_1 . n34_a_fce_0101_2001_06__1 IP-IMP n34_a_fce_0101_2001_06__1_1 VB;_Tn_ n34_a_fce_0101_2001_06__1->n34_a_fce_0101_2001_06__1_1 n34_a_fce_0101_2001_06__1_2 NP-OB1 n34_a_fce_0101_2001_06__1->n34_a_fce_0101_2001_06__1_2 n34_a_fce_0101_2001_06__1_3 PUNC n34_a_fce_0101_2001_06__1->n34_a_fce_0101_2001_06__1_3 n34_a_fce_0101_2001_06__1_1->n34_a_fce_0101_2001_06__1_1_1 n34_a_fce_0101_2001_06__1_2_1 NP-GEN n34_a_fce_0101_2001_06__1_2->n34_a_fce_0101_2001_06__1_2_1 n34_a_fce_0101_2001_06__1_2_2 N n34_a_fce_0101_2001_06__1_2->n34_a_fce_0101_2001_06__1_2_2 n34_a_fce_0101_2001_06__1_2_1_1 PRO;_genm_ n34_a_fce_0101_2001_06__1_2_1->n34_a_fce_0101_2001_06__1_2_1_1 n34_a_fce_0101_2001_06__1_2_1_1->n34_a_fce_0101_2001_06__1_2_1_1_1 n34_a_fce_0101_2001_06__1_2_2->n34_a_fce_0101_2001_06__1_2_2_1 n34_a_fce_0101_2001_06__1_3->n34_a_fce_0101_2001_06__1_3_1 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N composition;{composition}))
          (PUNC .))
  (ID 34_a_fce_0101_2001_06))