Context                Previous, Next                Top


41_a_genieus
The princess stopped crying.

%3 r_0041_0003__stopped stopped r_0041_0004__crying crying r_0041_0003__stopped->r_0041_0004__crying [scope] r_0041_0001__The_r_0041_0002__princess The princess r_0041_0004__crying->r_0041_0001__The_r_0041_0002__princess [arg0] 
arc(r_0041_0003__stopped, r_0041_0004__crying, scope).
arc(r_0041_0004__crying, r_0041_0001__The_r_0041_0002__princess, arg0).


%3 r_0041_0003__stopped_r_0041_0004__crying stopped crying r_0041_0001__The_r_0041_0002__princess The princess r_0041_0003__stopped_r_0041_0004__crying->r_0041_0001__The_r_0041_0002__princess [arg0] 
fof(formula,axiom,
    ? [R_41_3_STOPPED_CRYING,R_41_1_THE_PRINCESS] :
      ( the_princess(R_41_1_THE_PRINCESS)
      & stopped_crying(R_41_3_STOPPED_CRYING,R_41_1_THE_PRINCESS) ) ).


n41_a_genieus n41_a_genieus__1_1_1_1 The n41_a_genieus__1_1_2_1 princess n41_a_genieus__1_2_1 stopped n41_a_genieus__1_3_1_1 crying n41_a_genieus__1_4_1 . n41_a_genieus__1 IP-MAT n41_a_genieus__1_1 NP-SBJ n41_a_genieus__1->n41_a_genieus__1_1 n41_a_genieus__1_2 VBD;_cat_Vg_ n41_a_genieus__1->n41_a_genieus__1_2 n41_a_genieus__1_3 IP-PPL-CAT n41_a_genieus__1->n41_a_genieus__1_3 n41_a_genieus__1_4 PUNC n41_a_genieus__1->n41_a_genieus__1_4 n41_a_genieus__1_1_1 D n41_a_genieus__1_1->n41_a_genieus__1_1_1 n41_a_genieus__1_1_2 N n41_a_genieus__1_1->n41_a_genieus__1_1_2 n41_a_genieus__1_1_1->n41_a_genieus__1_1_1_1 n41_a_genieus__1_1_2->n41_a_genieus__1_1_2_1 n41_a_genieus__1_2->n41_a_genieus__1_2_1 n41_a_genieus__1_3_1 VAG;_I_ n41_a_genieus__1_3->n41_a_genieus__1_3_1 n41_a_genieus__1_3_1->n41_a_genieus__1_3_1_1 n41_a_genieus__1_4->n41_a_genieus__1_4_1 
( (IP-MAT (NP-SBJ;{PRINCESS} (D The;{the})
                             (N princess;{princess}))
          (VBD;_cat_Vg_ stopped;{stop})
          (IP-PPL-CAT (VAG;_I_ crying;{cry}))
          (PUNC .))
  (ID 41_a_genieus))