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_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 [conj2] r_0001_0017__drowning drowning r_0001_0016__without->r_0001_0017__drowning [conj1] 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_r_0001_0014__fallen have fallen r_0001_0013__have_r_0001_0014__fallen->r_0001_0010__a_r_0001_0011__river in [clr] r_0001_0012__you you r_0001_0013__have_r_0001_0014__fallen->r_0001_0012__you [arg0] r_0001_0017__drowning->z_000_1_a_stories_09_m14_16 [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_4 Swimming n1_a_stories_09_m14_6 is n1_a_stories_09_m14_10 really n1_a_stories_09_m14_12 being n1_a_stories_09_m14_15 able n1_a_stories_09_m14_18 to n1_a_stories_09_m14_20 get n1_a_stories_09_m14_23 out n1_a_stories_09_m14_26 from n1_a_stories_09_m14_29 a n1_a_stories_09_m14_31 river n1_a_stories_09_m14_35 you n1_a_stories_09_m14_37 have n1_a_stories_09_m14_40 fallen n1_a_stories_09_m14_43 in n1_a_stories_09_m14_45 *T* n1_a_stories_09_m14_48 without n1_a_stories_09_m14_51 drowning n1_a_stories_09_m14_53 . n1_a_stories_09_m14_1 IP-MAT n1_a_stories_09_m14_2 NP-SBJ n1_a_stories_09_m14_1->n1_a_stories_09_m14_2 n1_a_stories_09_m14_5 BEP;_equ_Vg_ n1_a_stories_09_m14_1->n1_a_stories_09_m14_5 n1_a_stories_09_m14_7 IP-PPL-PRD n1_a_stories_09_m14_1->n1_a_stories_09_m14_7 n1_a_stories_09_m14_52 PUNC n1_a_stories_09_m14_1->n1_a_stories_09_m14_52 n1_a_stories_09_m14_3 N n1_a_stories_09_m14_2->n1_a_stories_09_m14_3 n1_a_stories_09_m14_3->n1_a_stories_09_m14_4 n1_a_stories_09_m14_5->n1_a_stories_09_m14_6 n1_a_stories_09_m14_8 ADVP-NIM n1_a_stories_09_m14_7->n1_a_stories_09_m14_8 n1_a_stories_09_m14_11 BAG;_La_ n1_a_stories_09_m14_7->n1_a_stories_09_m14_11 n1_a_stories_09_m14_13 ADJP-PRD n1_a_stories_09_m14_7->n1_a_stories_09_m14_13 n1_a_stories_09_m14_9 ADV n1_a_stories_09_m14_8->n1_a_stories_09_m14_9 n1_a_stories_09_m14_9->n1_a_stories_09_m14_10 n1_a_stories_09_m14_11->n1_a_stories_09_m14_12 n1_a_stories_09_m14_14 ADJ;_cat_ n1_a_stories_09_m14_13->n1_a_stories_09_m14_14 n1_a_stories_09_m14_16 IP-INF n1_a_stories_09_m14_13->n1_a_stories_09_m14_16 n1_a_stories_09_m14_14->n1_a_stories_09_m14_15 n1_a_stories_09_m14_17 TO n1_a_stories_09_m14_16->n1_a_stories_09_m14_17 n1_a_stories_09_m14_19 VB;_Ip_ n1_a_stories_09_m14_16->n1_a_stories_09_m14_19 n1_a_stories_09_m14_21 ADVP-CLR n1_a_stories_09_m14_16->n1_a_stories_09_m14_21 n1_a_stories_09_m14_24 PP-NIM n1_a_stories_09_m14_16->n1_a_stories_09_m14_24 n1_a_stories_09_m14_46 PP-SCON n1_a_stories_09_m14_16->n1_a_stories_09_m14_46 n1_a_stories_09_m14_17->n1_a_stories_09_m14_18 n1_a_stories_09_m14_19->n1_a_stories_09_m14_20 n1_a_stories_09_m14_22 RP n1_a_stories_09_m14_21->n1_a_stories_09_m14_22 n1_a_stories_09_m14_22->n1_a_stories_09_m14_23 n1_a_stories_09_m14_25 P-ROLE n1_a_stories_09_m14_24->n1_a_stories_09_m14_25 n1_a_stories_09_m14_27 NP n1_a_stories_09_m14_24->n1_a_stories_09_m14_27 n1_a_stories_09_m14_25->n1_a_stories_09_m14_26 n1_a_stories_09_m14_28 D n1_a_stories_09_m14_27->n1_a_stories_09_m14_28 n1_a_stories_09_m14_30 N n1_a_stories_09_m14_27->n1_a_stories_09_m14_30 n1_a_stories_09_m14_32 IP-REL n1_a_stories_09_m14_27->n1_a_stories_09_m14_32 n1_a_stories_09_m14_28->n1_a_stories_09_m14_29 n1_a_stories_09_m14_30->n1_a_stories_09_m14_31 n1_a_stories_09_m14_33 NP-SBJ n1_a_stories_09_m14_32->n1_a_stories_09_m14_33 n1_a_stories_09_m14_36 HVP;_cat_Ve_ n1_a_stories_09_m14_32->n1_a_stories_09_m14_36 n1_a_stories_09_m14_38 IP-PPL-CAT n1_a_stories_09_m14_32->n1_a_stories_09_m14_38 n1_a_stories_09_m14_34 PRO n1_a_stories_09_m14_33->n1_a_stories_09_m14_34 n1_a_stories_09_m14_34->n1_a_stories_09_m14_35 n1_a_stories_09_m14_36->n1_a_stories_09_m14_37 n1_a_stories_09_m14_39 VVN;_Ipr_ n1_a_stories_09_m14_38->n1_a_stories_09_m14_39 n1_a_stories_09_m14_41 PP-CLR n1_a_stories_09_m14_38->n1_a_stories_09_m14_41 n1_a_stories_09_m14_39->n1_a_stories_09_m14_40 n1_a_stories_09_m14_42 P-ROLE n1_a_stories_09_m14_41->n1_a_stories_09_m14_42 n1_a_stories_09_m14_44 NP n1_a_stories_09_m14_41->n1_a_stories_09_m14_44 n1_a_stories_09_m14_42->n1_a_stories_09_m14_43 n1_a_stories_09_m14_44->n1_a_stories_09_m14_45 n1_a_stories_09_m14_47 P-CONN n1_a_stories_09_m14_46->n1_a_stories_09_m14_47 n1_a_stories_09_m14_49 IP-PPL2 n1_a_stories_09_m14_46->n1_a_stories_09_m14_49 n1_a_stories_09_m14_47->n1_a_stories_09_m14_48 n1_a_stories_09_m14_50 VAG;_I_ n1_a_stories_09_m14_49->n1_a_stories_09_m14_50 n1_a_stories_09_m14_50->n1_a_stories_09_m14_51 n1_a_stories_09_m14_52->n1_a_stories_09_m14_53 
( (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))