Context                Previous, Next                Top


33_a_fce_0102_2001_03
Write your composition.

%3 r_0033_0001__Write Write r_0033_0003__composition composition r_0033_0001__Write->r_0033_0003__composition [arg1] z_000_33_a_fce_0102_2001_03_1 r_0033_0001__Write->z_000_33_a_fce_0102_2001_03_1 [arg0] r_0033_0002__your your r_0033_0003__composition->r_0033_0002__your [gen] 
arc(r_0033_0001__Write, r_0033_0003__composition, arg1).
arc(r_0033_0001__Write, z_000_33_a_fce_0102_2001_03_1, arg0).
arc(r_0033_0003__composition, r_0033_0002__your, gen).


%3 r_0033_0001__Write Write r_0033_0003__composition composition r_0033_0001__Write->r_0033_0003__composition [arg1] z_000_33_a_fce_0102_2001_03_1 r_0033_0001__Write->z_000_33_a_fce_0102_2001_03_1 [arg0] r_0033_0002__your your r_0033_0003__composition->r_0033_0002__your [gen] 
fof(formula,axiom,
    ? [R_33_1_WRITE,Z_33_A_FCE_102_2001_3_1,R_33_3_COMPOSITION,R_33_2_YOUR] :
      ( your(R_33_2_YOUR)
      & write(R_33_1_WRITE,Z_33_A_FCE_102_2001_3_1,R_33_3_COMPOSITION)
      & composition(R_33_3_COMPOSITION)
      & gen(R_33_3_COMPOSITION,R_33_2_YOUR) ) ).


n33_a_fce_0102_2001_03 n33_a_fce_0102_2001_03_3 Write n33_a_fce_0102_2001_03_7 your n33_a_fce_0102_2001_03_9 composition n33_a_fce_0102_2001_03_11 . n33_a_fce_0102_2001_03_1 IP-IMP n33_a_fce_0102_2001_03_2 VB;_Tn_ n33_a_fce_0102_2001_03_1->n33_a_fce_0102_2001_03_2 n33_a_fce_0102_2001_03_4 NP-OB1 n33_a_fce_0102_2001_03_1->n33_a_fce_0102_2001_03_4 n33_a_fce_0102_2001_03_10 PUNC n33_a_fce_0102_2001_03_1->n33_a_fce_0102_2001_03_10 n33_a_fce_0102_2001_03_2->n33_a_fce_0102_2001_03_3 n33_a_fce_0102_2001_03_5 NP-GEN n33_a_fce_0102_2001_03_4->n33_a_fce_0102_2001_03_5 n33_a_fce_0102_2001_03_8 N n33_a_fce_0102_2001_03_4->n33_a_fce_0102_2001_03_8 n33_a_fce_0102_2001_03_6 PRO;_genm_ n33_a_fce_0102_2001_03_5->n33_a_fce_0102_2001_03_6 n33_a_fce_0102_2001_03_6->n33_a_fce_0102_2001_03_7 n33_a_fce_0102_2001_03_8->n33_a_fce_0102_2001_03_9 n33_a_fce_0102_2001_03_10->n33_a_fce_0102_2001_03_11 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N composition;{composition}))
          (PUNC .))
  (ID 33_a_fce_0102_2001_03))