Context                Previous, Next                Top


11_a_stories_09_m14
Swimming is great fun and everybody should try it.

%3 r_0011_0002__is is r_0011_0001__Swimming Swimming r_0011_0002__is->r_0011_0001__Swimming [arg0] r_0011_0004__fun fun r_0011_0002__is->r_0011_0004__fun [prd] r_0011_0003__great great r_0011_0004__fun->r_0011_0003__great [attrib] r_0011_0005__and and r_0011_0005__and->r_0011_0002__is [conj1] r_0011_0006__everybody_quant everybody [quant] r_0011_0005__and->r_0011_0006__everybody_quant [conj2] r_0011_0007__should should r_0011_0006__everybody_quant->r_0011_0007__should [scope] z_000_11_a_stories_09_m14_19 r_0011_0006__everybody_quant->z_000_11_a_stories_09_m14_19 [restriction] r_0011_0008__try try r_0011_0007__should->r_0011_0008__try [scope] r_0011_0008__try->r_0011_0001__Swimming [arg1] r_0011_0008__try->z_000_11_a_stories_09_m14_19 [arg0] 
arc(r_0011_0002__is, r_0011_0001__Swimming, arg0).
arc(r_0011_0002__is, r_0011_0004__fun, prd).
arc(r_0011_0004__fun, r_0011_0003__great, attrib10).
arc(r_0011_0005__and, r_0011_0002__is, conj1).
arc(r_0011_0005__and, r_0011_0006__everybody_quant, conj2).
arc(r_0011_0006__everybody_quant, r_0011_0007__should, scope).
arc(r_0011_0006__everybody_quant, z_000_11_a_stories_09_m14_19, restriction).
arc(r_0011_0007__should, r_0011_0008__try, scope).
arc(r_0011_0008__try, r_0011_0001__Swimming, arg1).
arc(r_0011_0008__try, z_000_11_a_stories_09_m14_19, arg0).


%3 r_0011_0002__is is r_0011_0001__Swimming Swimming r_0011_0002__is->r_0011_0001__Swimming [arg0] r_0011_0004__fun fun r_0011_0002__is->r_0011_0004__fun [prd] r_0011_0003__great great r_0011_0004__fun->r_0011_0003__great [attrib] r_0011_0005__and and r_0011_0005__and->r_0011_0002__is [conj1] r_0011_0006__everybody_quant everybody [quant] r_0011_0005__and->r_0011_0006__everybody_quant [conj2] r_0011_0007__should_r_0011_0008__try should try r_0011_0006__everybody_quant->r_0011_0007__should_r_0011_0008__try [scope] z_000_11_a_stories_09_m14_19 r_0011_0006__everybody_quant->z_000_11_a_stories_09_m14_19 [restriction] r_0011_0007__should_r_0011_0008__try->r_0011_0001__Swimming [arg1] r_0011_0007__should_r_0011_0008__try->z_000_11_a_stories_09_m14_19 [arg0] 
fof(formula,axiom,
    ? [R_11_5_AND,R_11_2_IS,R_11_1_SWIMMING,R_11_4_FUN,R_11_3_GREAT] :
      ( swimming(R_11_1_SWIMMING)
      & great(R_11_3_GREAT)
      & ! [Z_11_A_STORIES_9_M14_19] :
          ( true
         => ? [R_11_7_SHOULD_TRY] : should_try(R_11_7_SHOULD_TRY,Z_11_A_STORIES_9_M14_19,R_11_1_SWIMMING) )
      & conj2(CONJ2)
      & and(R_11_5_AND)
      & conj1(R_11_5_AND,R_11_2_IS)
      & is(R_11_2_IS,R_11_1_SWIMMING,R_11_4_FUN)
      & fun(R_11_4_FUN)
      & attrib10(R_11_4_FUN,R_11_3_GREAT) ) ).


n11_a_stories_09_m14 n11_a_stories_09_m14_6 Swimming n11_a_stories_09_m14_8 is n11_a_stories_09_m14_12 great n11_a_stories_09_m14_14 fun n11_a_stories_09_m14_17 and n11_a_stories_09_m14_21 everybody n11_a_stories_09_m14_23 should n11_a_stories_09_m14_26 try n11_a_stories_09_m14_29 it n11_a_stories_09_m14_31 . n11_a_stories_09_m14_1 IP-MAT n11_a_stories_09_m14_2 ILYR n11_a_stories_09_m14_1->n11_a_stories_09_m14_2 n11_a_stories_09_m14_30 PUNC n11_a_stories_09_m14_1->n11_a_stories_09_m14_30 n11_a_stories_09_m14_3 ILYR n11_a_stories_09_m14_2->n11_a_stories_09_m14_3 n11_a_stories_09_m14_15 CONJP n11_a_stories_09_m14_2->n11_a_stories_09_m14_15 n11_a_stories_09_m14_4 NP-SBJ n11_a_stories_09_m14_3->n11_a_stories_09_m14_4 n11_a_stories_09_m14_7 BEP;_Ln_ n11_a_stories_09_m14_3->n11_a_stories_09_m14_7 n11_a_stories_09_m14_9 NP-PRD n11_a_stories_09_m14_3->n11_a_stories_09_m14_9 n11_a_stories_09_m14_5 N n11_a_stories_09_m14_4->n11_a_stories_09_m14_5 n11_a_stories_09_m14_5->n11_a_stories_09_m14_6 n11_a_stories_09_m14_7->n11_a_stories_09_m14_8 n11_a_stories_09_m14_10 ADJP n11_a_stories_09_m14_9->n11_a_stories_09_m14_10 n11_a_stories_09_m14_13 N n11_a_stories_09_m14_9->n11_a_stories_09_m14_13 n11_a_stories_09_m14_11 ADJ n11_a_stories_09_m14_10->n11_a_stories_09_m14_11 n11_a_stories_09_m14_11->n11_a_stories_09_m14_12 n11_a_stories_09_m14_13->n11_a_stories_09_m14_14 n11_a_stories_09_m14_16 CONJ n11_a_stories_09_m14_15->n11_a_stories_09_m14_16 n11_a_stories_09_m14_18 ILYR n11_a_stories_09_m14_15->n11_a_stories_09_m14_18 n11_a_stories_09_m14_16->n11_a_stories_09_m14_17 n11_a_stories_09_m14_19 NP-SBJ n11_a_stories_09_m14_18->n11_a_stories_09_m14_19 n11_a_stories_09_m14_22 MD;_cat_Vi_ n11_a_stories_09_m14_18->n11_a_stories_09_m14_22 n11_a_stories_09_m14_24 IP-INF-CAT n11_a_stories_09_m14_18->n11_a_stories_09_m14_24 n11_a_stories_09_m14_20 Q;_nphd_ n11_a_stories_09_m14_19->n11_a_stories_09_m14_20 n11_a_stories_09_m14_20->n11_a_stories_09_m14_21 n11_a_stories_09_m14_22->n11_a_stories_09_m14_23 n11_a_stories_09_m14_25 VB;_Tn_ n11_a_stories_09_m14_24->n11_a_stories_09_m14_25 n11_a_stories_09_m14_27 NP-OB1 n11_a_stories_09_m14_24->n11_a_stories_09_m14_27 n11_a_stories_09_m14_25->n11_a_stories_09_m14_26 n11_a_stories_09_m14_28 PRO n11_a_stories_09_m14_27->n11_a_stories_09_m14_28 n11_a_stories_09_m14_28->n11_a_stories_09_m14_29 n11_a_stories_09_m14_30->n11_a_stories_09_m14_31 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{SWIMMING} (N Swimming;{swimming}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (ADJP (ADJ great;{great}))
                              (N fun;{fun})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (Q;_nphd_ everybody;{everybody}))
                             (MD;_cat_Vi_ should;{shall})
                             (IP-INF-CAT (VB;_Tn_ try;{try})
                                         (NP-OB1;{SWIMMING} (PRO it;{it}))))))
          (PUNC .))
  (ID 11_a_stories_09_m14))