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_0007__should_r_0011_0008__try should try z_000_11_a_stories_09_m14_19 r_0011_0007__should_r_0011_0008__try->z_000_11_a_stories_09_m14_19 [arg0] r_0011_0001__Swimming Swimming r_0011_0007__should_r_0011_0008__try->r_0011_0001__Swimming [arg1] r_0011_0006__everybody_quant everybody [quant] r_0011_0006__everybody_quant->r_0011_0007__should_r_0011_0008__try [scope] r_0011_0006__everybody_quant->z_000_11_a_stories_09_m14_19 [restriction] r_0011_0005__and and r_0011_0005__and->r_0011_0006__everybody_quant [conj2] r_0011_0002__is is r_0011_0005__and->r_0011_0002__is [conj1] 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] 
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__1_1_1_1_1_1 Swimming n11_a_stories_09_m14__1_1_1_2_1 is n11_a_stories_09_m14__1_1_1_3_1_1_1 great n11_a_stories_09_m14__1_1_1_3_2_1 fun n11_a_stories_09_m14__1_1_2_1_1 and n11_a_stories_09_m14__1_1_2_2_1_1_1 everybody n11_a_stories_09_m14__1_1_2_2_2_1 should n11_a_stories_09_m14__1_1_2_2_3_1_1 try n11_a_stories_09_m14__1_1_2_2_3_2_1_1 it n11_a_stories_09_m14__1_2_1 . n11_a_stories_09_m14__1 IP-MAT n11_a_stories_09_m14__1_1 ILYR n11_a_stories_09_m14__1->n11_a_stories_09_m14__1_1 n11_a_stories_09_m14__1_2 PUNC n11_a_stories_09_m14__1->n11_a_stories_09_m14__1_2 n11_a_stories_09_m14__1_1_1 ILYR n11_a_stories_09_m14__1_1->n11_a_stories_09_m14__1_1_1 n11_a_stories_09_m14__1_1_2 CONJP n11_a_stories_09_m14__1_1->n11_a_stories_09_m14__1_1_2 n11_a_stories_09_m14__1_1_1_1 NP-SBJ n11_a_stories_09_m14__1_1_1->n11_a_stories_09_m14__1_1_1_1 n11_a_stories_09_m14__1_1_1_2 BEP;_Ln_ n11_a_stories_09_m14__1_1_1->n11_a_stories_09_m14__1_1_1_2 n11_a_stories_09_m14__1_1_1_3 NP-PRD n11_a_stories_09_m14__1_1_1->n11_a_stories_09_m14__1_1_1_3 n11_a_stories_09_m14__1_1_1_1_1 N n11_a_stories_09_m14__1_1_1_1->n11_a_stories_09_m14__1_1_1_1_1 n11_a_stories_09_m14__1_1_1_1_1->n11_a_stories_09_m14__1_1_1_1_1_1 n11_a_stories_09_m14__1_1_1_2->n11_a_stories_09_m14__1_1_1_2_1 n11_a_stories_09_m14__1_1_1_3_1 ADJP n11_a_stories_09_m14__1_1_1_3->n11_a_stories_09_m14__1_1_1_3_1 n11_a_stories_09_m14__1_1_1_3_2 N n11_a_stories_09_m14__1_1_1_3->n11_a_stories_09_m14__1_1_1_3_2 n11_a_stories_09_m14__1_1_1_3_1_1 ADJ n11_a_stories_09_m14__1_1_1_3_1->n11_a_stories_09_m14__1_1_1_3_1_1 n11_a_stories_09_m14__1_1_1_3_1_1->n11_a_stories_09_m14__1_1_1_3_1_1_1 n11_a_stories_09_m14__1_1_1_3_2->n11_a_stories_09_m14__1_1_1_3_2_1 n11_a_stories_09_m14__1_1_2_1 CONJ n11_a_stories_09_m14__1_1_2->n11_a_stories_09_m14__1_1_2_1 n11_a_stories_09_m14__1_1_2_2 ILYR n11_a_stories_09_m14__1_1_2->n11_a_stories_09_m14__1_1_2_2 n11_a_stories_09_m14__1_1_2_1->n11_a_stories_09_m14__1_1_2_1_1 n11_a_stories_09_m14__1_1_2_2_1 NP-SBJ n11_a_stories_09_m14__1_1_2_2->n11_a_stories_09_m14__1_1_2_2_1 n11_a_stories_09_m14__1_1_2_2_2 MD;_cat_Vi_ n11_a_stories_09_m14__1_1_2_2->n11_a_stories_09_m14__1_1_2_2_2 n11_a_stories_09_m14__1_1_2_2_3 IP-INF-CAT n11_a_stories_09_m14__1_1_2_2->n11_a_stories_09_m14__1_1_2_2_3 n11_a_stories_09_m14__1_1_2_2_1_1 Q;_nphd_ n11_a_stories_09_m14__1_1_2_2_1->n11_a_stories_09_m14__1_1_2_2_1_1 n11_a_stories_09_m14__1_1_2_2_1_1->n11_a_stories_09_m14__1_1_2_2_1_1_1 n11_a_stories_09_m14__1_1_2_2_2->n11_a_stories_09_m14__1_1_2_2_2_1 n11_a_stories_09_m14__1_1_2_2_3_1 VB;_Tn_ n11_a_stories_09_m14__1_1_2_2_3->n11_a_stories_09_m14__1_1_2_2_3_1 n11_a_stories_09_m14__1_1_2_2_3_2 NP-OB1 n11_a_stories_09_m14__1_1_2_2_3->n11_a_stories_09_m14__1_1_2_2_3_2 n11_a_stories_09_m14__1_1_2_2_3_1->n11_a_stories_09_m14__1_1_2_2_3_1_1 n11_a_stories_09_m14__1_1_2_2_3_2_1 PRO n11_a_stories_09_m14__1_1_2_2_3_2->n11_a_stories_09_m14__1_1_2_2_3_2_1 n11_a_stories_09_m14__1_1_2_2_3_2_1->n11_a_stories_09_m14__1_1_2_2_3_2_1_1 n11_a_stories_09_m14__1_2->n11_a_stories_09_m14__1_2_1 
( (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))