Context                Previous, Next                Top


16_a_fce_0100_2000_12
Write your composition.

%3 r_0016_0001__Write Write r_0016_0003__composition composition r_0016_0001__Write->r_0016_0003__composition [arg1] z_000_16_a_fce_0100_2000_12_1 r_0016_0001__Write->z_000_16_a_fce_0100_2000_12_1 [arg0] r_0016_0002__your your r_0016_0003__composition->r_0016_0002__your [gen] 
arc(r_0016_0001__Write, r_0016_0003__composition, arg1).
arc(r_0016_0001__Write, z_000_16_a_fce_0100_2000_12_1, arg0).
arc(r_0016_0003__composition, r_0016_0002__your, gen).


%3 r_0016_0001__Write Write r_0016_0003__composition composition r_0016_0001__Write->r_0016_0003__composition [arg1] z_000_16_a_fce_0100_2000_12_1 r_0016_0001__Write->z_000_16_a_fce_0100_2000_12_1 [arg0] r_0016_0002__your your r_0016_0003__composition->r_0016_0002__your [gen] 
fof(formula,axiom,
    ? [R_16_1_WRITE,Z_16_A_FCE_100_2000_12_1,R_16_3_COMPOSITION,R_16_2_YOUR] :
      ( your(R_16_2_YOUR)
      & write(R_16_1_WRITE,Z_16_A_FCE_100_2000_12_1,R_16_3_COMPOSITION)
      & composition(R_16_3_COMPOSITION)
      & gen(R_16_3_COMPOSITION,R_16_2_YOUR) ) ).


n16_a_fce_0100_2000_12 n16_a_fce_0100_2000_12_3 Write n16_a_fce_0100_2000_12_7 your n16_a_fce_0100_2000_12_9 composition n16_a_fce_0100_2000_12_11 . n16_a_fce_0100_2000_12_1 IP-IMP n16_a_fce_0100_2000_12_2 VB;_Tn_ n16_a_fce_0100_2000_12_1->n16_a_fce_0100_2000_12_2 n16_a_fce_0100_2000_12_4 NP-OB1 n16_a_fce_0100_2000_12_1->n16_a_fce_0100_2000_12_4 n16_a_fce_0100_2000_12_10 PUNC n16_a_fce_0100_2000_12_1->n16_a_fce_0100_2000_12_10 n16_a_fce_0100_2000_12_2->n16_a_fce_0100_2000_12_3 n16_a_fce_0100_2000_12_5 NP-GEN n16_a_fce_0100_2000_12_4->n16_a_fce_0100_2000_12_5 n16_a_fce_0100_2000_12_8 N n16_a_fce_0100_2000_12_4->n16_a_fce_0100_2000_12_8 n16_a_fce_0100_2000_12_6 PRO;_genm_ n16_a_fce_0100_2000_12_5->n16_a_fce_0100_2000_12_6 n16_a_fce_0100_2000_12_6->n16_a_fce_0100_2000_12_7 n16_a_fce_0100_2000_12_8->n16_a_fce_0100_2000_12_9 n16_a_fce_0100_2000_12_10->n16_a_fce_0100_2000_12_11 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1;{COMPOSITION1} (NP-GEN (PRO;_genm_ your;{your}))
                                 (N composition;{composition}))
          (PUNC .))
  (ID 16_a_fce_0100_2000_12))