TSPC 1_a_stories_09

1_a_stories_09_m14
Swimming is really being able to get out from a river you have fallen in without drowning.

( (IP-MAT (NP-SBJ (N Swimming;{swimming}))
          (BEP;_equ_Vg_ is;{be})
          (IP-PPL-PRD (ADVP-NIM (ADV really;{really}))
                      (BAG;_La_ being;{be})
                      (ADJP-PRD (ADJ;_cat_ able;{able})
                                (IP-INF (TO to;{to})
                                        (VB;_phr_Vp.pr_ get;{get[out,from]})
                                        (RP out;{out})
                                        (PP-CLR (P-ROLE from;{from})
                                                (NP (D a;{a})
                                                    (N river;{river})
                                                    (IP-REL (NP-SBJ (PRO you;{you}))
                                                            (HVP;_cat_Ve_ have;{have})
                                                            (IP-PPL-CAT (VVN;_Ipr_ fallen;{fall[in]})
                                                                        (PP-CLR (P-ROLE in;{in})
                                                                                (NP *T*))))))
                                        (PP-NIM (P-ROLE without;{without})
                                                (IP-PPL2 (VAG;_I_ drowning;{drown}))))))
          (PUNC .))
  (ID 1_a_stories_09_m14))

arc(r_0001_0002__is,r_0001_0001__Swimming,arg0).
arc(r_0001_0002__is,r_0001_0004__being,prd).
arc(r_0001_0004__being,r_0001_0003__really,nim).
arc(r_0001_0004__being,r_0001_0005__able,scope).
arc(r_0001_0005__able,r_0001_0007__get_r_0001_0008__out,scope).
arc(r_0001_0007__get_r_0001_0008__out,r_0001_0010__a_r_0001_0011__river,r_0001_0009__from__clr).
arc(r_0001_0007__get_r_0001_0008__out,r_0001_0017__drowning,r_0001_0016__without__nim).
arc(r_0001_0007__get_r_0001_0008__out,z_0001_5004,arg0).
arc(r_0001_0013__have,r_0001_0014__fallen,scope).
arc(r_0001_0014__fallen,r_0001_0010__a_r_0001_0011__river,r_0001_0015__in__inv_clr).
arc(r_0001_0014__fallen,r_0001_0012__you,arg0).
arc(r_0001_0017__drowning,z_0001_5004,arg0).

fof(formula,axiom,
    ? [R_0001_0001__SWIMMING,R_0001_0003__REALLY,R_0001_0012__YOU,R_0001_0013__HAVE_R_0001_0014__FALLEN,R_0001_0010__A_R_0001_0011__RIVER,Z_0001_5004,R_0001_0017__DROWNING,R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT,R_0001_0002__IS] :
      ( r_0001_0001__Swimming(R_0001_0001__SWIMMING)
      & r_0001_0003__really(R_0001_0003__REALLY)
      & r_0001_0012__you(R_0001_0012__YOU)
      & z_0001_5004(Z_0001_5004)
      & r_0001_0002__is(R_0001_0002__IS)
      & has_prd(R_0001_0002__IS,R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT)
      & r_0001_0004__being_r_0001_0005__able_r_0001_0007__get_r_0001_0008__out(R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT)
      & has_arg0(R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT,Z_0001_5004)
      & has_r_0001_0016__without__nim(R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT,R_0001_0017__DROWNING)
      & r_0001_0017__drowning(R_0001_0017__DROWNING)
      & has_arg0(R_0001_0017__DROWNING,Z_0001_5004)
      & has_r_0001_0009__from__clr(R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT,R_0001_0010__A_R_0001_0011__RIVER)
      & r_0001_0010__a_r_0001_0011__river(R_0001_0010__A_R_0001_0011__RIVER)
      & has_r_0001_0015__in__inv_clr(R_0001_0010__A_R_0001_0011__RIVER,R_0001_0013__HAVE_R_0001_0014__FALLEN)
      & r_0001_0013__have_r_0001_0014__fallen(R_0001_0013__HAVE_R_0001_0014__FALLEN)
      & has_arg0(R_0001_0013__HAVE_R_0001_0014__FALLEN,R_0001_0012__YOU)
      & has_nim(R_0001_0004__BEING_R_0001_0005__ABLE_R_0001_0007__GET_R_0001_0008__OUT,R_0001_0003__REALLY)
      & has_arg0(R_0001_0002__IS,R_0001_0001__SWIMMING) ) ).