( (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))

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,attrib).
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_0011_5007,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_0011_5007,arg0).

fof(formula,axiom,
    ? [R_0011_0001__SWIMMING,R_0011_0003__GREAT,R_0011_0004__FUN,R_0011_0002__IS,R_0011_0005__AND] :
      ( r_0011_0001__Swimming(R_0011_0001__SWIMMING)
      & r_0011_0003__great(R_0011_0003__GREAT)
      & r_0011_0005__and(R_0011_0005__AND)
      & ! [Z_0011_5007] :
          ( z_0011_5007(Z_0011_5007)
         => ? [R_0011_0007__SHOULD_R_0011_0008__TRY] :
              ( r_0011_0007__should_r_0011_0008__try(R_0011_0007__SHOULD_R_0011_0008__TRY)
              & has_arg0(R_0011_0007__SHOULD_R_0011_0008__TRY,Z_0011_5007)
              & has_arg1(R_0011_0007__SHOULD_R_0011_0008__TRY,R_0011_0001__SWIMMING) ) )
      & has_conj1(R_0011_0005__AND,R_0011_0002__IS)
      & r_0011_0002__is(R_0011_0002__IS)
      & has_prd(R_0011_0002__IS,R_0011_0004__FUN)
      & r_0011_0004__fun(R_0011_0004__FUN)
      & has_attrib(R_0011_0004__FUN,R_0011_0003__GREAT)
      & has_arg0(R_0011_0002__IS,R_0011_0001__SWIMMING) ) ).