Context                Previous, Next                Top


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

%3 r_0001_0002__is is r_0001_0001__Swimming Swimming r_0001_0002__is->r_0001_0001__Swimming [arg0] r_0001_0004__being being r_0001_0002__is->r_0001_0004__being [prd] r_0001_0003__really really r_0001_0004__being->r_0001_0003__really [nim] r_0001_0005__able able r_0001_0004__being->r_0001_0005__able [prd] x_000_1_a_stories_09_m14_7 __ r_0001_0004__being->x_000_1_a_stories_09_m14_7 [arg0] r_0001_0016__without without r_0001_0005__able->r_0001_0016__without [emb] r_0001_0006__to_r_0001_0007__get to get r_0001_0016__without->r_0001_0006__to_r_0001_0007__get [scope] r_0001_0017__drowning drowning r_0001_0016__without->r_0001_0017__drowning [restriction] r_0001_0008__out out r_0001_0006__to_r_0001_0007__get->r_0001_0008__out [clr] r_0001_0010__a_r_0001_0011__river a river r_0001_0006__to_r_0001_0007__get->r_0001_0010__a_r_0001_0011__river from [nim] z_000_1_a_stories_09_m14_16 r_0001_0006__to_r_0001_0007__get->z_000_1_a_stories_09_m14_16 [arg0] r_0001_0013__have have r_0001_0014__fallen fallen r_0001_0013__have->r_0001_0014__fallen [scope] r_0001_0014__fallen->r_0001_0010__a_r_0001_0011__river in [clr] r_0001_0012__you you r_0001_0014__fallen->r_0001_0012__you [arg0] r_0001_0017__drowning->z_000_1_a_stories_09_m14_16 [arg0] 
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_0016__without, emb16).
arc(r_0001_0006__to_r_0001_0007__get, r_0001_0008__out, clr21).
arc(r_0001_0006__to_r_0001_0007__get, r_0001_0010__a_r_0001_0011__river, r_0001_0009__from_nim27).
arc(r_0001_0006__to_r_0001_0007__get, 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_clr44).
arc(r_0001_0014__fallen, r_0001_0012__you, arg0).
arc(r_0001_0016__without, r_0001_0006__to_r_0001_0007__get, scope).
arc(r_0001_0016__without, r_0001_0017__drowning, restriction).
arc(r_0001_0017__drowning, z_000_1_a_stories_09_m14_16, arg0).


%3 r_0001_0017__drowning drowning z_000_1_a_stories_09_m14_16 r_0001_0017__drowning->z_000_1_a_stories_09_m14_16 [arg0] r_0001_0016__without without r_0001_0016__without->r_0001_0017__drowning [conj1] r_0001_0006__to_r_0001_0007__get to get r_0001_0016__without->r_0001_0006__to_r_0001_0007__get [conj2] r_0001_0006__to_r_0001_0007__get->z_000_1_a_stories_09_m14_16 [arg0] r_0001_0010__a_r_0001_0011__river a river r_0001_0006__to_r_0001_0007__get->r_0001_0010__a_r_0001_0011__river from [nim] r_0001_0008__out out r_0001_0006__to_r_0001_0007__get->r_0001_0008__out [clr] r_0001_0013__have_r_0001_0014__fallen have fallen r_0001_0012__you you r_0001_0013__have_r_0001_0014__fallen->r_0001_0012__you [arg0] r_0001_0013__have_r_0001_0014__fallen->r_0001_0010__a_r_0001_0011__river in [clr] r_0001_0005__able able r_0001_0005__able->r_0001_0016__without [emb] r_0001_0004__being being r_0001_0004__being->r_0001_0005__able [prd] x_000_1_a_stories_09_m14_7 __ r_0001_0004__being->x_000_1_a_stories_09_m14_7 [arg0] r_0001_0003__really really r_0001_0004__being->r_0001_0003__really [nim] r_0001_0002__is is r_0001_0002__is->r_0001_0004__being [prd] r_0001_0001__Swimming Swimming r_0001_0002__is->r_0001_0001__Swimming [arg0] 
fof(formula,axiom,
    ? [R_1_2_IS,R_1_1_SWIMMING,R_1_4_BEING,X_1_A_STORIES_9_M14_7,R_1_3_REALLY,R_1_5_ABLE,R_1_16_WITHOUT,R_1_17_DROWNING,R_1_6_TO_GET,Z_1_A_STORIES_9_M14_16,R_1_8_OUT,R_1_13_HAVE_FALLEN,R_1_12_YOU,R_1_10_A_RIVER] :
      ( swimming(R_1_1_SWIMMING)
      & really(R_1_3_REALLY)
      & out(R_1_8_OUT)
      & you(R_1_12_YOU)
      & a_river(R_1_10_A_RIVER)
      & is(R_1_2_IS,R_1_1_SWIMMING,R_1_4_BEING)
      & being(R_1_4_BEING,X_1_A_STORIES_9_M14_7,R_1_5_ABLE)
      & able(R_1_5_ABLE)
      & emb16(R_1_5_ABLE,R_1_16_WITHOUT)
      & without(R_1_16_WITHOUT)
      & conj1(R_1_16_WITHOUT,R_1_17_DROWNING)
      & drowning(R_1_17_DROWNING,Z_1_A_STORIES_9_M14_16)
      & conj2(R_1_16_WITHOUT,R_1_6_TO_GET)
      & to_get(R_1_6_TO_GET,Z_1_A_STORIES_9_M14_16)
      & clr21(R_1_6_TO_GET,R_1_8_OUT)
      & from_nim27(R_1_6_TO_GET,R_1_10_A_RIVER)
      & nim8(R_1_4_BEING,R_1_3_REALLY)
      & have_fallen(R_1_13_HAVE_FALLEN,R_1_12_YOU)
      & in_clr44(R_1_13_HAVE_FALLEN,R_1_10_A_RIVER) ) ).


n1_a_stories_09_m14 n1_a_stories_09_m14__1_1_1_1 Swimming n1_a_stories_09_m14__1_2_1 is n1_a_stories_09_m14__1_3_1_1_1 really n1_a_stories_09_m14__1_3_2_1 being n1_a_stories_09_m14__1_3_3_1_1 able n1_a_stories_09_m14__1_3_3_2_1_1 to n1_a_stories_09_m14__1_3_3_2_2_1 get n1_a_stories_09_m14__1_3_3_2_3_1_1 out n1_a_stories_09_m14__1_3_3_2_4_1_1 from n1_a_stories_09_m14__1_3_3_2_4_2_1_1 a n1_a_stories_09_m14__1_3_3_2_4_2_2_1 river n1_a_stories_09_m14__1_3_3_2_4_2_3_1_1_1 you n1_a_stories_09_m14__1_3_3_2_4_2_3_2_1 have n1_a_stories_09_m14__1_3_3_2_4_2_3_3_1_1 fallen n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_1_1 in n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_2_1 *T* n1_a_stories_09_m14__1_3_3_2_5_1_1 without n1_a_stories_09_m14__1_3_3_2_5_2_1_1 drowning n1_a_stories_09_m14__1_4_1 . n1_a_stories_09_m14__1 IP-MAT n1_a_stories_09_m14__1_1 NP-SBJ n1_a_stories_09_m14__1->n1_a_stories_09_m14__1_1 n1_a_stories_09_m14__1_2 BEP;_equ_Vg_ n1_a_stories_09_m14__1->n1_a_stories_09_m14__1_2 n1_a_stories_09_m14__1_3 IP-PPL-PRD n1_a_stories_09_m14__1->n1_a_stories_09_m14__1_3 n1_a_stories_09_m14__1_4 PUNC n1_a_stories_09_m14__1->n1_a_stories_09_m14__1_4 n1_a_stories_09_m14__1_1_1 N n1_a_stories_09_m14__1_1->n1_a_stories_09_m14__1_1_1 n1_a_stories_09_m14__1_1_1->n1_a_stories_09_m14__1_1_1_1 n1_a_stories_09_m14__1_2->n1_a_stories_09_m14__1_2_1 n1_a_stories_09_m14__1_3_1 ADVP-NIM n1_a_stories_09_m14__1_3->n1_a_stories_09_m14__1_3_1 n1_a_stories_09_m14__1_3_2 BAG;_La_ n1_a_stories_09_m14__1_3->n1_a_stories_09_m14__1_3_2 n1_a_stories_09_m14__1_3_3 ADJP-PRD n1_a_stories_09_m14__1_3->n1_a_stories_09_m14__1_3_3 n1_a_stories_09_m14__1_3_1_1 ADV n1_a_stories_09_m14__1_3_1->n1_a_stories_09_m14__1_3_1_1 n1_a_stories_09_m14__1_3_1_1->n1_a_stories_09_m14__1_3_1_1_1 n1_a_stories_09_m14__1_3_2->n1_a_stories_09_m14__1_3_2_1 n1_a_stories_09_m14__1_3_3_1 ADJ;_cat_ n1_a_stories_09_m14__1_3_3->n1_a_stories_09_m14__1_3_3_1 n1_a_stories_09_m14__1_3_3_2 IP-INF n1_a_stories_09_m14__1_3_3->n1_a_stories_09_m14__1_3_3_2 n1_a_stories_09_m14__1_3_3_1->n1_a_stories_09_m14__1_3_3_1_1 n1_a_stories_09_m14__1_3_3_2_1 TO n1_a_stories_09_m14__1_3_3_2->n1_a_stories_09_m14__1_3_3_2_1 n1_a_stories_09_m14__1_3_3_2_2 VB;_Ip_ n1_a_stories_09_m14__1_3_3_2->n1_a_stories_09_m14__1_3_3_2_2 n1_a_stories_09_m14__1_3_3_2_3 ADVP-CLR n1_a_stories_09_m14__1_3_3_2->n1_a_stories_09_m14__1_3_3_2_3 n1_a_stories_09_m14__1_3_3_2_4 PP-NIM n1_a_stories_09_m14__1_3_3_2->n1_a_stories_09_m14__1_3_3_2_4 n1_a_stories_09_m14__1_3_3_2_5 PP-SCON n1_a_stories_09_m14__1_3_3_2->n1_a_stories_09_m14__1_3_3_2_5 n1_a_stories_09_m14__1_3_3_2_1->n1_a_stories_09_m14__1_3_3_2_1_1 n1_a_stories_09_m14__1_3_3_2_2->n1_a_stories_09_m14__1_3_3_2_2_1 n1_a_stories_09_m14__1_3_3_2_3_1 RP n1_a_stories_09_m14__1_3_3_2_3->n1_a_stories_09_m14__1_3_3_2_3_1 n1_a_stories_09_m14__1_3_3_2_3_1->n1_a_stories_09_m14__1_3_3_2_3_1_1 n1_a_stories_09_m14__1_3_3_2_4_1 P-ROLE n1_a_stories_09_m14__1_3_3_2_4->n1_a_stories_09_m14__1_3_3_2_4_1 n1_a_stories_09_m14__1_3_3_2_4_2 NP n1_a_stories_09_m14__1_3_3_2_4->n1_a_stories_09_m14__1_3_3_2_4_2 n1_a_stories_09_m14__1_3_3_2_4_1->n1_a_stories_09_m14__1_3_3_2_4_1_1 n1_a_stories_09_m14__1_3_3_2_4_2_1 D n1_a_stories_09_m14__1_3_3_2_4_2->n1_a_stories_09_m14__1_3_3_2_4_2_1 n1_a_stories_09_m14__1_3_3_2_4_2_2 N n1_a_stories_09_m14__1_3_3_2_4_2->n1_a_stories_09_m14__1_3_3_2_4_2_2 n1_a_stories_09_m14__1_3_3_2_4_2_3 IP-REL n1_a_stories_09_m14__1_3_3_2_4_2->n1_a_stories_09_m14__1_3_3_2_4_2_3 n1_a_stories_09_m14__1_3_3_2_4_2_1->n1_a_stories_09_m14__1_3_3_2_4_2_1_1 n1_a_stories_09_m14__1_3_3_2_4_2_2->n1_a_stories_09_m14__1_3_3_2_4_2_2_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_1 NP-SBJ n1_a_stories_09_m14__1_3_3_2_4_2_3->n1_a_stories_09_m14__1_3_3_2_4_2_3_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_2 HVP;_cat_Ve_ n1_a_stories_09_m14__1_3_3_2_4_2_3->n1_a_stories_09_m14__1_3_3_2_4_2_3_2 n1_a_stories_09_m14__1_3_3_2_4_2_3_3 IP-PPL-CAT n1_a_stories_09_m14__1_3_3_2_4_2_3->n1_a_stories_09_m14__1_3_3_2_4_2_3_3 n1_a_stories_09_m14__1_3_3_2_4_2_3_1_1 PRO n1_a_stories_09_m14__1_3_3_2_4_2_3_1->n1_a_stories_09_m14__1_3_3_2_4_2_3_1_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_1_1->n1_a_stories_09_m14__1_3_3_2_4_2_3_1_1_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_2->n1_a_stories_09_m14__1_3_3_2_4_2_3_2_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_1 VVN;_Ipr_ n1_a_stories_09_m14__1_3_3_2_4_2_3_3->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2 PP-CLR n1_a_stories_09_m14__1_3_3_2_4_2_3_3->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_1->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_1_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_1 P-ROLE n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_2 NP n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_2 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_1->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_1_1 n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_2->n1_a_stories_09_m14__1_3_3_2_4_2_3_3_2_2_1 n1_a_stories_09_m14__1_3_3_2_5_1 P-CONN n1_a_stories_09_m14__1_3_3_2_5->n1_a_stories_09_m14__1_3_3_2_5_1 n1_a_stories_09_m14__1_3_3_2_5_2 IP-PPL2 n1_a_stories_09_m14__1_3_3_2_5->n1_a_stories_09_m14__1_3_3_2_5_2 n1_a_stories_09_m14__1_3_3_2_5_1->n1_a_stories_09_m14__1_3_3_2_5_1_1 n1_a_stories_09_m14__1_3_3_2_5_2_1 VAG;_I_ n1_a_stories_09_m14__1_3_3_2_5_2->n1_a_stories_09_m14__1_3_3_2_5_2_1 n1_a_stories_09_m14__1_3_3_2_5_2_1->n1_a_stories_09_m14__1_3_3_2_5_2_1_1 n1_a_stories_09_m14__1_4->n1_a_stories_09_m14__1_4_1 
( (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;_Ip_ get;{get[out]})
                                        (ADVP-CLR (RP out;{out}))
                                        (PP-NIM (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-SCON (P-CONN without;{without})
                                                 (IP-PPL2 (VAG;_I_ drowning;{drown}))))))
          (PUNC .))
  (ID 1_a_stories_09_m14))