Context                Previous, Next                Top


12_a_stories_09_m14
It is a life-saver.

%3 r_0012_0002__is is r_0012_0001__It It r_0012_0002__is->r_0012_0001__It [arg0] r_0012_0003__a_r_0012_0004__life__hyphen__saver a life-saver r_0012_0002__is->r_0012_0003__a_r_0012_0004__life__hyphen__saver [prd] 
arc(r_0012_0002__is, r_0012_0001__It, arg0).
arc(r_0012_0002__is, r_0012_0003__a_r_0012_0004__life__hyphen__saver, prd).


%3 r_0012_0002__is is r_0012_0001__It It r_0012_0002__is->r_0012_0001__It [arg0] r_0012_0003__a_r_0012_0004__life__hyphen__saver a life-saver r_0012_0002__is->r_0012_0003__a_r_0012_0004__life__hyphen__saver [prd] 
fof(formula,axiom,
    ? [R_12_2_IS,R_12_1_IT,R_12_3_A_LIFE_HYPHEN_SAVER] :
      ( it(R_12_1_IT)
      & a_life_hyphen_saver(R_12_3_A_LIFE_HYPHEN_SAVER)
      & is(R_12_2_IS,R_12_1_IT,R_12_3_A_LIFE_HYPHEN_SAVER) ) ).


n12_a_stories_09_m14 n12_a_stories_09_m14_4 It n12_a_stories_09_m14_6 is n12_a_stories_09_m14_9 a n12_a_stories_09_m14_11 life-saver n12_a_stories_09_m14_13 . n12_a_stories_09_m14_1 IP-MAT n12_a_stories_09_m14_2 NP-SBJ n12_a_stories_09_m14_1->n12_a_stories_09_m14_2 n12_a_stories_09_m14_5 BEP;_Ln_ n12_a_stories_09_m14_1->n12_a_stories_09_m14_5 n12_a_stories_09_m14_7 NP-PRD n12_a_stories_09_m14_1->n12_a_stories_09_m14_7 n12_a_stories_09_m14_12 PUNC n12_a_stories_09_m14_1->n12_a_stories_09_m14_12 n12_a_stories_09_m14_3 PRO n12_a_stories_09_m14_2->n12_a_stories_09_m14_3 n12_a_stories_09_m14_3->n12_a_stories_09_m14_4 n12_a_stories_09_m14_5->n12_a_stories_09_m14_6 n12_a_stories_09_m14_8 D n12_a_stories_09_m14_7->n12_a_stories_09_m14_8 n12_a_stories_09_m14_10 N n12_a_stories_09_m14_7->n12_a_stories_09_m14_10 n12_a_stories_09_m14_8->n12_a_stories_09_m14_9 n12_a_stories_09_m14_10->n12_a_stories_09_m14_11 n12_a_stories_09_m14_12->n12_a_stories_09_m14_13 
( (IP-MAT (NP-SBJ;{SWIMMING} (PRO It;{it}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N life_<hyphen>_saver;{life_saver}))
          (PUNC .))
  (ID 12_a_stories_09_m14))