1_a_stories_09_m14
Swimming is really being able to get out from a river you have fallen in without drowning.
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, nim8).
arc(r_0001_0004__being, r_0001_0005__able, prd).
arc(r_0001_0004__being, x_000_1_a_stories_09_m14_7, arg0).
arc(r_0001_0005__able, r_0001_0006__to_r_0001_0007__get_r_0001_0008__out, emb16).
arc(r_0001_0006__to_r_0001_0007__get_r_0001_0008__out, r_0001_0010__a_r_0001_0011__river, r_0001_0009__from_clr26).
arc(r_0001_0006__to_r_0001_0007__get_r_0001_0008__out, r_0001_0017__drowning, r_0001_0016__without_nim48).
arc(r_0001_0006__to_r_0001_0007__get_r_0001_0008__out, z_000_1_a_stories_09_m14_16, 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_clr43).
arc(r_0001_0014__fallen, r_0001_0012__you, arg0).
arc(r_0001_0017__drowning, z_000_1_a_stories_09_m14_48, arg0).
fof(formula,axiom,
? [R_0001_0001__SWIMMING,R_0001_0003__REALLY,R_0001_0010__A_R_0001_0011__RIVER,Z_000_1_A_STORIES_09_M14_48,R_0001_0017__DROWNING,Z_000_1_A_STORIES_09_M14_16,R_0001_0006__TO_R_0001_0007__GET_R_0001_0008__OUT,R_0001_0005__ABLE,X_000_1_A_STORIES_09_M14_7,R_0001_0004__BEING,R_0001_0002__IS,R_0001_0012__YOU,R_0001_0013__HAVE_R_0001_0014__FALLEN] :
( r_0001_0001__Swimming(R_0001_0001__SWIMMING)
& r_0001_0003__really(R_0001_0003__REALLY)
& r_0001_0010__a_r_0001_0011__river(R_0001_0010__A_R_0001_0011__RIVER)
& r_0001_0012__you(R_0001_0012__YOU)
& x_000_1_a_stories_09_m14_7(X_000_1_A_STORIES_09_M14_7)
& z_000_1_a_stories_09_m14_16(Z_000_1_A_STORIES_09_M14_16)
& z_000_1_a_stories_09_m14_48(Z_000_1_A_STORIES_09_M14_48)
& 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_r_0001_0015__in_clr43(R_0001_0013__HAVE_R_0001_0014__FALLEN,R_0001_0010__A_R_0001_0011__RIVER)
& r_0001_0002__is(R_0001_0002__IS)
& has_prd(R_0001_0002__IS,R_0001_0004__BEING)
& r_0001_0004__being(R_0001_0004__BEING)
& has_arg0(R_0001_0004__BEING,X_000_1_A_STORIES_09_M14_7)
& has_prd(R_0001_0004__BEING,R_0001_0005__ABLE)
& r_0001_0005__able(R_0001_0005__ABLE)
& has_emb16(R_0001_0005__ABLE,R_0001_0006__TO_R_0001_0007__GET_R_0001_0008__OUT)
& r_0001_0006__to_r_0001_0007__get_r_0001_0008__out(R_0001_0006__TO_R_0001_0007__GET_R_0001_0008__OUT)
& has_arg0(R_0001_0006__TO_R_0001_0007__GET_R_0001_0008__OUT,Z_000_1_A_STORIES_09_M14_16)
& has_r_0001_0016__without_nim48(R_0001_0006__TO_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_000_1_A_STORIES_09_M14_48)
& has_r_0001_0009__from_clr26(R_0001_0006__TO_R_0001_0007__GET_R_0001_0008__OUT,R_0001_0010__A_R_0001_0011__RIVER)
& has_nim8(R_0001_0004__BEING,R_0001_0003__REALLY)
& has_arg0(R_0001_0002__IS,R_0001_0001__SWIMMING) ) ).
( (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))