Context                Previous, Next                Top


19_a_fce_0102_2001_06
Write your composition.

%3 r_0019_0001__Write Write r_0019_0003__composition composition r_0019_0001__Write->r_0019_0003__composition [arg1] z_000_19_a_fce_0102_2001_06_1 r_0019_0001__Write->z_000_19_a_fce_0102_2001_06_1 [arg0] r_0019_0002__your your r_0019_0003__composition->r_0019_0002__your [gen] 
arc(r_0019_0001__Write, r_0019_0003__composition, arg1).
arc(r_0019_0001__Write, z_000_19_a_fce_0102_2001_06_1, arg0).
arc(r_0019_0003__composition, r_0019_0002__your, gen).


%3 r_0019_0001__Write Write r_0019_0003__composition composition r_0019_0001__Write->r_0019_0003__composition [arg1] z_000_19_a_fce_0102_2001_06_1 r_0019_0001__Write->z_000_19_a_fce_0102_2001_06_1 [arg0] r_0019_0002__your your r_0019_0003__composition->r_0019_0002__your [gen] 
fof(formula,axiom,
    ? [R_19_1_WRITE,Z_19_A_FCE_102_2001_6_1,R_19_3_COMPOSITION,R_19_2_YOUR] :
      ( your(R_19_2_YOUR)
      & write(R_19_1_WRITE,Z_19_A_FCE_102_2001_6_1,R_19_3_COMPOSITION)
      & composition(R_19_3_COMPOSITION)
      & gen(R_19_3_COMPOSITION,R_19_2_YOUR) ) ).


n19_a_fce_0102_2001_06 n19_a_fce_0102_2001_06_3 Write n19_a_fce_0102_2001_06_7 your n19_a_fce_0102_2001_06_9 composition n19_a_fce_0102_2001_06_11 . n19_a_fce_0102_2001_06_1 IP-IMP n19_a_fce_0102_2001_06_2 VB;_Tn_ n19_a_fce_0102_2001_06_1->n19_a_fce_0102_2001_06_2 n19_a_fce_0102_2001_06_4 NP-OB1 n19_a_fce_0102_2001_06_1->n19_a_fce_0102_2001_06_4 n19_a_fce_0102_2001_06_10 PUNC n19_a_fce_0102_2001_06_1->n19_a_fce_0102_2001_06_10 n19_a_fce_0102_2001_06_2->n19_a_fce_0102_2001_06_3 n19_a_fce_0102_2001_06_5 NP-GEN n19_a_fce_0102_2001_06_4->n19_a_fce_0102_2001_06_5 n19_a_fce_0102_2001_06_8 N n19_a_fce_0102_2001_06_4->n19_a_fce_0102_2001_06_8 n19_a_fce_0102_2001_06_6 PRO;_genm_ n19_a_fce_0102_2001_06_5->n19_a_fce_0102_2001_06_6 n19_a_fce_0102_2001_06_6->n19_a_fce_0102_2001_06_7 n19_a_fce_0102_2001_06_8->n19_a_fce_0102_2001_06_9 n19_a_fce_0102_2001_06_10->n19_a_fce_0102_2001_06_11 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N composition;{composition}))
          (PUNC .))
  (ID 19_a_fce_0102_2001_06))