83_a_dick_1952
Outside the men were already sealing the gaping leaks in the side of the ship, through which the precious air was rushing, dissipating into the void beyond.

%3 r_0083_0004__were were r_0083_0001__Outside Outside r_0083_0004__were->r_0083_0001__Outside [nim] r_0083_0006__sealing sealing r_0083_0004__were->r_0083_0006__sealing [scope] r_0083_0002__the_r_0083_0003__men the men r_0083_0006__sealing->r_0083_0002__the_r_0083_0003__men [arg0] r_0083_0005__already already r_0083_0006__sealing->r_0083_0005__already [nim] r_0083_0007__the_r_0083_0009__leaks the leaks r_0083_0006__sealing->r_0083_0007__the_r_0083_0009__leaks [arg1] r_0083_0011__the_r_0083_0012__side the side r_0083_0007__the_r_0083_0009__leaks->r_0083_0011__the_r_0083_0012__side in r_0083_0014__the_r_0083_0015__ship the ship r_0083_0011__the_r_0083_0012__side->r_0083_0014__the_r_0083_0015__ship of r_0083_0008__gaping gaping r_0083_0008__gaping->r_0083_0007__the_r_0083_0009__leaks [arg0] r_0083_0019__the_r_0083_0021__air the air r_0083_0020__precious precious r_0083_0019__the_r_0083_0021__air->r_0083_0020__precious [attrib] r_0083_0022__was was r_0083_0023__rushing rushing r_0083_0022__was->r_0083_0023__rushing [scope] r_0083_0023__rushing->r_0083_0007__the_r_0083_0009__leaks through [clr] r_0083_0023__rushing->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0025__dissipating dissipating r_0083_0025__dissipating->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0027__the_r_0083_0028__void the void r_0083_0025__dissipating->r_0083_0027__the_r_0083_0028__void into [clr] r_0083_0029__beyond beyond r_0083_0027__the_r_0083_0028__void->r_0083_0029__beyond [qual] z_000_83_a_dick_1952_68 z_000_83_a_dick_1952_68->r_0083_0022__was [scope] z_000_83_a_dick_1952_68->r_0083_0025__dissipating [restriction]
arc(r_0083_0004__were, r_0083_0001__Outside, nim2).
arc(r_0083_0004__were, r_0083_0006__sealing, scope).
arc(r_0083_0006__sealing, r_0083_0002__the_r_0083_0003__men, arg0).
arc(r_0083_0006__sealing, r_0083_0005__already, nim13).
arc(r_0083_0006__sealing, r_0083_0007__the_r_0083_0009__leaks, arg1).
arc(r_0083_0007__the_r_0083_0009__leaks, r_0083_0011__the_r_0083_0012__side, r_0083_0010__in).
arc(r_0083_0008__gaping, r_0083_0007__the_r_0083_0009__leaks, arg0).
arc(r_0083_0011__the_r_0083_0012__side, r_0083_0014__the_r_0083_0015__ship, r_0083_0013__of).
arc(r_0083_0019__the_r_0083_0021__air, r_0083_0020__precious, attrib54).
arc(r_0083_0022__was, r_0083_0023__rushing, scope).
arc(r_0083_0023__rushing, r_0083_0007__the_r_0083_0009__leaks, r_0083_0017__through_clr48).
arc(r_0083_0023__rushing, r_0083_0019__the_r_0083_0021__air, arg0).
arc(r_0083_0025__dissipating, r_0083_0019__the_r_0083_0021__air, arg0).
arc(r_0083_0025__dissipating, r_0083_0027__the_r_0083_0028__void, r_0083_0026__into_clr75).
arc(r_0083_0027__the_r_0083_0028__void, r_0083_0029__beyond, qual80).
arc(z_000_83_a_dick_1952_68, r_0083_0022__was, scope).
arc(z_000_83_a_dick_1952_68, r_0083_0025__dissipating, restriction).



%3 r_0083_0004__were_r_0083_0006__sealing were sealing r_0083_0001__Outside Outside r_0083_0004__were_r_0083_0006__sealing->r_0083_0001__Outside [nim] r_0083_0002__the_r_0083_0003__men the men r_0083_0004__were_r_0083_0006__sealing->r_0083_0002__the_r_0083_0003__men [arg0] r_0083_0005__already already r_0083_0004__were_r_0083_0006__sealing->r_0083_0005__already [nim] r_0083_0007__the_r_0083_0009__leaks the leaks r_0083_0004__were_r_0083_0006__sealing->r_0083_0007__the_r_0083_0009__leaks [arg1] r_0083_0011__the_r_0083_0012__side the side r_0083_0007__the_r_0083_0009__leaks->r_0083_0011__the_r_0083_0012__side in r_0083_0014__the_r_0083_0015__ship the ship r_0083_0011__the_r_0083_0012__side->r_0083_0014__the_r_0083_0015__ship of r_0083_0008__gaping gaping r_0083_0008__gaping->r_0083_0007__the_r_0083_0009__leaks [arg0] r_0083_0019__the_r_0083_0021__air the air r_0083_0020__precious precious r_0083_0019__the_r_0083_0021__air->r_0083_0020__precious [attrib] r_0083_0022__was_r_0083_0023__rushing was rushing r_0083_0022__was_r_0083_0023__rushing->r_0083_0007__the_r_0083_0009__leaks through [clr] r_0083_0022__was_r_0083_0023__rushing->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0025__dissipating dissipating r_0083_0025__dissipating->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0027__the_r_0083_0028__void the void r_0083_0025__dissipating->r_0083_0027__the_r_0083_0028__void into [clr] r_0083_0029__beyond beyond r_0083_0027__the_r_0083_0028__void->r_0083_0029__beyond [qual] z_000_83_a_dick_1952_68 z_000_83_a_dick_1952_68->r_0083_0022__was_r_0083_0023__rushing [conj2] z_000_83_a_dick_1952_68->r_0083_0025__dissipating [conj1]
fof(formula,axiom,
    ? [R_83_4_WERE_SEALING,R_83_2_THE_MEN,R_83_5_ALREADY,R_83_1_OUTSIDE,R_83_8_GAPING,Z_83_A_DICK_1952_68,R_83_25_DISSIPATING,R_83_27_THE_VOID,R_83_29_BEYOND,R_83_22_WAS_RUSHING,R_83_19_THE_AIR,R_83_20_PRECIOUS,R_83_7_THE_LEAKS,R_83_11_THE_SIDE,R_83_14_THE_SHIP] :
      ( the_men(R_83_2_THE_MEN)
      & already(R_83_5_ALREADY)
      & outside(R_83_1_OUTSIDE)
      & beyond(R_83_29_BEYOND)
      & precious(R_83_20_PRECIOUS)
      & the_ship(R_83_14_THE_SHIP)
      & were_sealing(R_83_4_WERE_SEALING,R_83_2_THE_MEN,R_83_7_THE_LEAKS)
      & the_leaks(R_83_7_THE_LEAKS)
      & in(R_83_7_THE_LEAKS,R_83_11_THE_SIDE)
      & the_side(R_83_11_THE_SIDE)
      & of(R_83_11_THE_SIDE,R_83_14_THE_SHIP)
      & nim13(R_83_4_WERE_SEALING,R_83_5_ALREADY)
      & nim2(R_83_4_WERE_SEALING,R_83_1_OUTSIDE)
      & gaping(R_83_8_GAPING,R_83_7_THE_LEAKS)
      & z_83_a_dick_1952_68(Z_83_A_DICK_1952_68)
      & conj1(Z_83_A_DICK_1952_68,R_83_25_DISSIPATING)
      & dissipating(R_83_25_DISSIPATING,R_83_19_THE_AIR)
      & the_air(R_83_19_THE_AIR)
      & attrib54(R_83_19_THE_AIR,R_83_20_PRECIOUS)
      & into_clr75(R_83_25_DISSIPATING,R_83_27_THE_VOID)
      & the_void(R_83_27_THE_VOID)
      & qual80(R_83_27_THE_VOID,R_83_29_BEYOND)
      & conj2(Z_83_A_DICK_1952_68,R_83_22_WAS_RUSHING)
      & was_rushing(R_83_22_WAS_RUSHING,R_83_19_THE_AIR)
      & through_clr48(R_83_22_WAS_RUSHING,R_83_7_THE_LEAKS) ) ).



n83_a_dick_1952 n83_a_dick_1952_4 Outside n83_a_dick_1952_7 the n83_a_dick_1952_9 men n83_a_dick_1952_11 were n83_a_dick_1952_15 already n83_a_dick_1952_17 sealing n83_a_dick_1952_20 the n83_a_dick_1952_23 gaping n83_a_dick_1952_25 leaks n83_a_dick_1952_28 in n83_a_dick_1952_31 the n83_a_dick_1952_33 side n83_a_dick_1952_36 of n83_a_dick_1952_39 the n83_a_dick_1952_41 ship n83_a_dick_1952_43 , n83_a_dick_1952_47 through n83_a_dick_1952_50 which n83_a_dick_1952_53 the n83_a_dick_1952_56 precious n83_a_dick_1952_58 air n83_a_dick_1952_60 was n83_a_dick_1952_63 *ICH*-163 n83_a_dick_1952_65 rushing n83_a_dick_1952_67 , n83_a_dick_1952_71 dissipating n83_a_dick_1952_74 into n83_a_dick_1952_77 the n83_a_dick_1952_79 void n83_a_dick_1952_82 beyond n83_a_dick_1952_84 . n83_a_dick_1952_1 IP-MAT n83_a_dick_1952_2 ADVP-NIM n83_a_dick_1952_1->n83_a_dick_1952_2 n83_a_dick_1952_5 NP-SBJ n83_a_dick_1952_1->n83_a_dick_1952_5 n83_a_dick_1952_10 BED;_cat_Vg_ n83_a_dick_1952_1->n83_a_dick_1952_10 n83_a_dick_1952_12 IP-PPL-CAT n83_a_dick_1952_1->n83_a_dick_1952_12 n83_a_dick_1952_83 PUNC n83_a_dick_1952_1->n83_a_dick_1952_83 n83_a_dick_1952_3 ADV n83_a_dick_1952_2->n83_a_dick_1952_3 n83_a_dick_1952_3->n83_a_dick_1952_4 n83_a_dick_1952_6 D n83_a_dick_1952_5->n83_a_dick_1952_6 n83_a_dick_1952_8 NS n83_a_dick_1952_5->n83_a_dick_1952_8 n83_a_dick_1952_6->n83_a_dick_1952_7 n83_a_dick_1952_8->n83_a_dick_1952_9 n83_a_dick_1952_10->n83_a_dick_1952_11 n83_a_dick_1952_13 ADVP-NIM n83_a_dick_1952_12->n83_a_dick_1952_13 n83_a_dick_1952_16 VAG;_Tn_ n83_a_dick_1952_12->n83_a_dick_1952_16 n83_a_dick_1952_18 NP-OB1 n83_a_dick_1952_12->n83_a_dick_1952_18 n83_a_dick_1952_14 ADV n83_a_dick_1952_13->n83_a_dick_1952_14 n83_a_dick_1952_14->n83_a_dick_1952_15 n83_a_dick_1952_16->n83_a_dick_1952_17 n83_a_dick_1952_19 D n83_a_dick_1952_18->n83_a_dick_1952_19 n83_a_dick_1952_21 IP-PPL n83_a_dick_1952_18->n83_a_dick_1952_21 n83_a_dick_1952_24 NS n83_a_dick_1952_18->n83_a_dick_1952_24 n83_a_dick_1952_26 PP n83_a_dick_1952_18->n83_a_dick_1952_26 n83_a_dick_1952_42 PUNC n83_a_dick_1952_18->n83_a_dick_1952_42 n83_a_dick_1952_44 IP-REL n83_a_dick_1952_18->n83_a_dick_1952_44 n83_a_dick_1952_19->n83_a_dick_1952_20 n83_a_dick_1952_22 VAG;_I_ n83_a_dick_1952_21->n83_a_dick_1952_22 n83_a_dick_1952_22->n83_a_dick_1952_23 n83_a_dick_1952_24->n83_a_dick_1952_25 n83_a_dick_1952_27 P-ROLE n83_a_dick_1952_26->n83_a_dick_1952_27 n83_a_dick_1952_29 NP n83_a_dick_1952_26->n83_a_dick_1952_29 n83_a_dick_1952_27->n83_a_dick_1952_28 n83_a_dick_1952_30 D n83_a_dick_1952_29->n83_a_dick_1952_30 n83_a_dick_1952_32 N n83_a_dick_1952_29->n83_a_dick_1952_32 n83_a_dick_1952_34 PP n83_a_dick_1952_29->n83_a_dick_1952_34 n83_a_dick_1952_30->n83_a_dick_1952_31 n83_a_dick_1952_32->n83_a_dick_1952_33 n83_a_dick_1952_35 P-ROLE n83_a_dick_1952_34->n83_a_dick_1952_35 n83_a_dick_1952_37 NP n83_a_dick_1952_34->n83_a_dick_1952_37 n83_a_dick_1952_35->n83_a_dick_1952_36 n83_a_dick_1952_38 D n83_a_dick_1952_37->n83_a_dick_1952_38 n83_a_dick_1952_40 N n83_a_dick_1952_37->n83_a_dick_1952_40 n83_a_dick_1952_38->n83_a_dick_1952_39 n83_a_dick_1952_40->n83_a_dick_1952_41 n83_a_dick_1952_42->n83_a_dick_1952_43 n83_a_dick_1952_45 PP-163 n83_a_dick_1952_44->n83_a_dick_1952_45 n83_a_dick_1952_51 NP-SBJ n83_a_dick_1952_44->n83_a_dick_1952_51 n83_a_dick_1952_59 BED;_cat_Vg_ n83_a_dick_1952_44->n83_a_dick_1952_59 n83_a_dick_1952_61 IP-PPL-CAT n83_a_dick_1952_44->n83_a_dick_1952_61 n83_a_dick_1952_66 PUNC n83_a_dick_1952_44->n83_a_dick_1952_66 n83_a_dick_1952_68 PP-SCON n83_a_dick_1952_44->n83_a_dick_1952_68 n83_a_dick_1952_46 P-ROLE n83_a_dick_1952_45->n83_a_dick_1952_46 n83_a_dick_1952_48 NP n83_a_dick_1952_45->n83_a_dick_1952_48 n83_a_dick_1952_46->n83_a_dick_1952_47 n83_a_dick_1952_49 RPRO n83_a_dick_1952_48->n83_a_dick_1952_49 n83_a_dick_1952_49->n83_a_dick_1952_50 n83_a_dick_1952_52 D n83_a_dick_1952_51->n83_a_dick_1952_52 n83_a_dick_1952_54 ADJP n83_a_dick_1952_51->n83_a_dick_1952_54 n83_a_dick_1952_57 N n83_a_dick_1952_51->n83_a_dick_1952_57 n83_a_dick_1952_52->n83_a_dick_1952_53 n83_a_dick_1952_55 ADJ n83_a_dick_1952_54->n83_a_dick_1952_55 n83_a_dick_1952_55->n83_a_dick_1952_56 n83_a_dick_1952_57->n83_a_dick_1952_58 n83_a_dick_1952_59->n83_a_dick_1952_60 n83_a_dick_1952_62 PP-CLR n83_a_dick_1952_61->n83_a_dick_1952_62 n83_a_dick_1952_64 VAG;_Ipr_ n83_a_dick_1952_61->n83_a_dick_1952_64 n83_a_dick_1952_62->n83_a_dick_1952_63 n83_a_dick_1952_64->n83_a_dick_1952_65 n83_a_dick_1952_66->n83_a_dick_1952_67 n83_a_dick_1952_69 IP-PPL2 n83_a_dick_1952_68->n83_a_dick_1952_69 n83_a_dick_1952_70 VAG;_Ipr_ n83_a_dick_1952_69->n83_a_dick_1952_70 n83_a_dick_1952_72 PP-CLR n83_a_dick_1952_69->n83_a_dick_1952_72 n83_a_dick_1952_70->n83_a_dick_1952_71 n83_a_dick_1952_73 P-ROLE n83_a_dick_1952_72->n83_a_dick_1952_73 n83_a_dick_1952_75 NP n83_a_dick_1952_72->n83_a_dick_1952_75 n83_a_dick_1952_73->n83_a_dick_1952_74 n83_a_dick_1952_76 D n83_a_dick_1952_75->n83_a_dick_1952_76 n83_a_dick_1952_78 N n83_a_dick_1952_75->n83_a_dick_1952_78 n83_a_dick_1952_80 ADVP-NIM n83_a_dick_1952_75->n83_a_dick_1952_80 n83_a_dick_1952_76->n83_a_dick_1952_77 n83_a_dick_1952_78->n83_a_dick_1952_79 n83_a_dick_1952_81 ADV n83_a_dick_1952_80->n83_a_dick_1952_81 n83_a_dick_1952_81->n83_a_dick_1952_82 n83_a_dick_1952_83->n83_a_dick_1952_84
( (IP-MAT (ADVP-NIM (ADV Outside;{outside}))
          (NP-SBJ (D the;{the})
                  (NS men;{man}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV already;{already}))
                      (VAG;_Tn_ sealing;{seal})
                      (NP-OB1 (D the;{the})
                              (IP-PPL (VAG;_I_ gaping;{gaping}))
                              (NS leaks;{leak})
                              (PP (P-ROLE in;{in})
                                  (NP (D the;{the})
                                      (N side;{side})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (N ship;{ship})))))
                              (PUNC ,)
                              (IP-REL (PP-163 (P-ROLE through;{through})
                                              (NP (RPRO which;{which})))
                                      (NP-SBJ (D the;{the})
                                              (ADJP (ADJ precious;{precious}))
                                              (N air;{air}))
                                      (BED;_cat_Vg_ was;{be})
                                      (IP-PPL-CAT (PP-CLR *ICH*-163)
                                                  (VAG;_Ipr_ rushing;{rush[through]}))
                                      (PUNC ,)
                                      (PP-SCON (IP-PPL2 (VAG;_Ipr_ dissipating;{dissipate[into]})
                                                        (PP-CLR (P-ROLE into;{into})
                                                                (NP (D the;{the})
                                                                    (N void;{void})
                                                                    (ADVP-NIM (ADV beyond;{beyond})))))))))
          (PUNC .))
  (ID 83_a_dick_1952))