Context                Previous, Next                Top


21_a_fce_0102_2001_03
Write your report.

%3 r_0021_0001__Write Write r_0021_0003__report report r_0021_0001__Write->r_0021_0003__report [arg1] z_000_21_a_fce_0102_2001_03_1 r_0021_0001__Write->z_000_21_a_fce_0102_2001_03_1 [arg0] r_0021_0002__your your r_0021_0003__report->r_0021_0002__your [gen] 
arc(r_0021_0001__Write, r_0021_0003__report, arg1).
arc(r_0021_0001__Write, z_000_21_a_fce_0102_2001_03_1, arg0).
arc(r_0021_0003__report, r_0021_0002__your, gen).


%3 r_0021_0003__report report r_0021_0002__your your r_0021_0003__report->r_0021_0002__your [gen] r_0021_0001__Write Write r_0021_0001__Write->r_0021_0003__report [arg1] z_000_21_a_fce_0102_2001_03_1 r_0021_0001__Write->z_000_21_a_fce_0102_2001_03_1 [arg0] 
fof(formula,axiom,
    ? [R_21_1_WRITE,Z_21_A_FCE_102_2001_3_1,R_21_3_REPORT,R_21_2_YOUR] :
      ( your(R_21_2_YOUR)
      & write(R_21_1_WRITE,Z_21_A_FCE_102_2001_3_1,R_21_3_REPORT)
      & report(R_21_3_REPORT)
      & gen(R_21_3_REPORT,R_21_2_YOUR) ) ).


n21_a_fce_0102_2001_03 n21_a_fce_0102_2001_03__1_1_1 Write n21_a_fce_0102_2001_03__1_2_1_1_1 your n21_a_fce_0102_2001_03__1_2_2_1 report n21_a_fce_0102_2001_03__1_3_1 . n21_a_fce_0102_2001_03__1 IP-IMP n21_a_fce_0102_2001_03__1_1 VB;_Tn_ n21_a_fce_0102_2001_03__1->n21_a_fce_0102_2001_03__1_1 n21_a_fce_0102_2001_03__1_2 NP-OB1 n21_a_fce_0102_2001_03__1->n21_a_fce_0102_2001_03__1_2 n21_a_fce_0102_2001_03__1_3 PUNC n21_a_fce_0102_2001_03__1->n21_a_fce_0102_2001_03__1_3 n21_a_fce_0102_2001_03__1_1->n21_a_fce_0102_2001_03__1_1_1 n21_a_fce_0102_2001_03__1_2_1 NP-GEN n21_a_fce_0102_2001_03__1_2->n21_a_fce_0102_2001_03__1_2_1 n21_a_fce_0102_2001_03__1_2_2 N n21_a_fce_0102_2001_03__1_2->n21_a_fce_0102_2001_03__1_2_2 n21_a_fce_0102_2001_03__1_2_1_1 PRO;_genm_ n21_a_fce_0102_2001_03__1_2_1->n21_a_fce_0102_2001_03__1_2_1_1 n21_a_fce_0102_2001_03__1_2_1_1->n21_a_fce_0102_2001_03__1_2_1_1_1 n21_a_fce_0102_2001_03__1_2_2->n21_a_fce_0102_2001_03__1_2_2_1 n21_a_fce_0102_2001_03__1_3->n21_a_fce_0102_2001_03__1_3_1 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N report;{report}))
          (PUNC .))
  (ID 21_a_fce_0102_2001_03))