Context                Previous, Next                Top


20_a_fce_0102_2001_12
Write your story.

%3 r_0020_0001__Write Write r_0020_0003__story story r_0020_0001__Write->r_0020_0003__story [arg1] z_000_20_a_fce_0102_2001_12_1 r_0020_0001__Write->z_000_20_a_fce_0102_2001_12_1 [arg0] r_0020_0002__your your r_0020_0003__story->r_0020_0002__your [gen] 
arc(r_0020_0001__Write, r_0020_0003__story, arg1).
arc(r_0020_0001__Write, z_000_20_a_fce_0102_2001_12_1, arg0).
arc(r_0020_0003__story, r_0020_0002__your, gen).


%3 r_0020_0003__story story r_0020_0002__your your r_0020_0003__story->r_0020_0002__your [gen] r_0020_0001__Write Write r_0020_0001__Write->r_0020_0003__story [arg1] z_000_20_a_fce_0102_2001_12_1 r_0020_0001__Write->z_000_20_a_fce_0102_2001_12_1 [arg0] 
fof(formula,axiom,
    ? [R_0020_0002__YOUR,R_0020_0003__STORY,Z_000_20_A_FCE_0102_2001_12_1,R_0020_0001__WRITE] :
      ( r_0020_0002__your(R_0020_0002__YOUR)
      & z_000_20_a_fce_0102_2001_12_1(Z_000_20_A_FCE_0102_2001_12_1)
      & r_0020_0001__Write(R_0020_0001__WRITE)
      & has_arg0(R_0020_0001__WRITE,Z_000_20_A_FCE_0102_2001_12_1)
      & has_arg1(R_0020_0001__WRITE,R_0020_0003__STORY)
      & r_0020_0003__story(R_0020_0003__STORY)
      & has_gen(R_0020_0003__STORY,R_0020_0002__YOUR) ) ).


n20_a_fce_0102_2001_12 n20_a_fce_0102_2001_12__1_1_1 Write n20_a_fce_0102_2001_12__1_2_1_1_1 your n20_a_fce_0102_2001_12__1_2_2_1 story n20_a_fce_0102_2001_12__1_3_1 . n20_a_fce_0102_2001_12__1 IP-IMP n20_a_fce_0102_2001_12__1_1 VB;_Tn_ n20_a_fce_0102_2001_12__1->n20_a_fce_0102_2001_12__1_1 n20_a_fce_0102_2001_12__1_2 NP-OB1 n20_a_fce_0102_2001_12__1->n20_a_fce_0102_2001_12__1_2 n20_a_fce_0102_2001_12__1_3 PUNC n20_a_fce_0102_2001_12__1->n20_a_fce_0102_2001_12__1_3 n20_a_fce_0102_2001_12__1_1->n20_a_fce_0102_2001_12__1_1_1 n20_a_fce_0102_2001_12__1_2_1 NP-GEN n20_a_fce_0102_2001_12__1_2->n20_a_fce_0102_2001_12__1_2_1 n20_a_fce_0102_2001_12__1_2_2 N n20_a_fce_0102_2001_12__1_2->n20_a_fce_0102_2001_12__1_2_2 n20_a_fce_0102_2001_12__1_2_1_1 PRO;_genm_ n20_a_fce_0102_2001_12__1_2_1->n20_a_fce_0102_2001_12__1_2_1_1 n20_a_fce_0102_2001_12__1_2_1_1->n20_a_fce_0102_2001_12__1_2_1_1_1 n20_a_fce_0102_2001_12__1_2_2->n20_a_fce_0102_2001_12__1_2_2_1 n20_a_fce_0102_2001_12__1_3->n20_a_fce_0102_2001_12__1_3_1 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N story;{story}))
          (PUNC .))
  (ID 20_a_fce_0102_2001_12))