Context                Previous, Next                Top


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.

n83_a_dick_1952 n83_a_dick_1952__1_1_1_1 Outside n83_a_dick_1952__1_2_1_1 the n83_a_dick_1952__1_2_2_1 men n83_a_dick_1952__1_3_1 were n83_a_dick_1952__1_4_1_1_1 already n83_a_dick_1952__1_4_2_1 sealing n83_a_dick_1952__1_4_3_1_1 the n83_a_dick_1952__1_4_3_2_1_1 gaping n83_a_dick_1952__1_4_3_3_1 leaks n83_a_dick_1952__1_4_3_4_1_1 in n83_a_dick_1952__1_4_3_4_2_1_1 the n83_a_dick_1952__1_4_3_4_2_2_1 side n83_a_dick_1952__1_4_3_4_2_3_1_1 of n83_a_dick_1952__1_4_3_4_2_3_2_1_1 the n83_a_dick_1952__1_4_3_4_2_3_2_2_1 ship n83_a_dick_1952__1_4_3_5_1 , n83_a_dick_1952__1_4_3_6_1_1_1 through n83_a_dick_1952__1_4_3_6_1_2_1_1 which n83_a_dick_1952__1_4_3_6_2_1_1 the n83_a_dick_1952__1_4_3_6_2_2_1_1 precious n83_a_dick_1952__1_4_3_6_2_3_1 air n83_a_dick_1952__1_4_3_6_3_1 was n83_a_dick_1952__1_4_3_6_4_1_1 *ICH*-163 n83_a_dick_1952__1_4_3_6_4_2_1 rushing n83_a_dick_1952__1_4_3_6_5_1 , n83_a_dick_1952__1_4_3_6_6_1_1_1 dissipating n83_a_dick_1952__1_4_3_6_6_1_2_1_1 into n83_a_dick_1952__1_4_3_6_6_1_2_2_1_1 the n83_a_dick_1952__1_4_3_6_6_1_2_2_2_1 void n83_a_dick_1952__1_4_3_6_6_1_2_2_3_1_1 beyond n83_a_dick_1952__1_5_1 . n83_a_dick_1952__1 IP-MAT n83_a_dick_1952__1_1 ADVP-NIM n83_a_dick_1952__1->n83_a_dick_1952__1_1 n83_a_dick_1952__1_2 NP-SBJ n83_a_dick_1952__1->n83_a_dick_1952__1_2 n83_a_dick_1952__1_3 BED;_cat_Vg_ n83_a_dick_1952__1->n83_a_dick_1952__1_3 n83_a_dick_1952__1_4 IP-PPL-CAT n83_a_dick_1952__1->n83_a_dick_1952__1_4 n83_a_dick_1952__1_5 PUNC n83_a_dick_1952__1->n83_a_dick_1952__1_5 n83_a_dick_1952__1_1_1 ADV n83_a_dick_1952__1_1->n83_a_dick_1952__1_1_1 n83_a_dick_1952__1_1_1->n83_a_dick_1952__1_1_1_1 n83_a_dick_1952__1_2_1 D n83_a_dick_1952__1_2->n83_a_dick_1952__1_2_1 n83_a_dick_1952__1_2_2 NS n83_a_dick_1952__1_2->n83_a_dick_1952__1_2_2 n83_a_dick_1952__1_2_1->n83_a_dick_1952__1_2_1_1 n83_a_dick_1952__1_2_2->n83_a_dick_1952__1_2_2_1 n83_a_dick_1952__1_3->n83_a_dick_1952__1_3_1 n83_a_dick_1952__1_4_1 ADVP-NIM n83_a_dick_1952__1_4->n83_a_dick_1952__1_4_1 n83_a_dick_1952__1_4_2 VAG;_Tn_ n83_a_dick_1952__1_4->n83_a_dick_1952__1_4_2 n83_a_dick_1952__1_4_3 NP-OB1 n83_a_dick_1952__1_4->n83_a_dick_1952__1_4_3 n83_a_dick_1952__1_4_1_1 ADV n83_a_dick_1952__1_4_1->n83_a_dick_1952__1_4_1_1 n83_a_dick_1952__1_4_1_1->n83_a_dick_1952__1_4_1_1_1 n83_a_dick_1952__1_4_2->n83_a_dick_1952__1_4_2_1 n83_a_dick_1952__1_4_3_1 D n83_a_dick_1952__1_4_3->n83_a_dick_1952__1_4_3_1 n83_a_dick_1952__1_4_3_2 IP-PPL n83_a_dick_1952__1_4_3->n83_a_dick_1952__1_4_3_2 n83_a_dick_1952__1_4_3_3 NS n83_a_dick_1952__1_4_3->n83_a_dick_1952__1_4_3_3 n83_a_dick_1952__1_4_3_4 PP n83_a_dick_1952__1_4_3->n83_a_dick_1952__1_4_3_4 n83_a_dick_1952__1_4_3_5 PUNC n83_a_dick_1952__1_4_3->n83_a_dick_1952__1_4_3_5 n83_a_dick_1952__1_4_3_6 IP-REL n83_a_dick_1952__1_4_3->n83_a_dick_1952__1_4_3_6 n83_a_dick_1952__1_4_3_1->n83_a_dick_1952__1_4_3_1_1 n83_a_dick_1952__1_4_3_2_1 VAG;_I_ n83_a_dick_1952__1_4_3_2->n83_a_dick_1952__1_4_3_2_1 n83_a_dick_1952__1_4_3_2_1->n83_a_dick_1952__1_4_3_2_1_1 n83_a_dick_1952__1_4_3_3->n83_a_dick_1952__1_4_3_3_1 n83_a_dick_1952__1_4_3_4_1 P-ROLE n83_a_dick_1952__1_4_3_4->n83_a_dick_1952__1_4_3_4_1 n83_a_dick_1952__1_4_3_4_2 NP n83_a_dick_1952__1_4_3_4->n83_a_dick_1952__1_4_3_4_2 n83_a_dick_1952__1_4_3_4_1->n83_a_dick_1952__1_4_3_4_1_1 n83_a_dick_1952__1_4_3_4_2_1 D n83_a_dick_1952__1_4_3_4_2->n83_a_dick_1952__1_4_3_4_2_1 n83_a_dick_1952__1_4_3_4_2_2 N n83_a_dick_1952__1_4_3_4_2->n83_a_dick_1952__1_4_3_4_2_2 n83_a_dick_1952__1_4_3_4_2_3 PP n83_a_dick_1952__1_4_3_4_2->n83_a_dick_1952__1_4_3_4_2_3 n83_a_dick_1952__1_4_3_4_2_1->n83_a_dick_1952__1_4_3_4_2_1_1 n83_a_dick_1952__1_4_3_4_2_2->n83_a_dick_1952__1_4_3_4_2_2_1 n83_a_dick_1952__1_4_3_4_2_3_1 P-ROLE n83_a_dick_1952__1_4_3_4_2_3->n83_a_dick_1952__1_4_3_4_2_3_1 n83_a_dick_1952__1_4_3_4_2_3_2 NP n83_a_dick_1952__1_4_3_4_2_3->n83_a_dick_1952__1_4_3_4_2_3_2 n83_a_dick_1952__1_4_3_4_2_3_1->n83_a_dick_1952__1_4_3_4_2_3_1_1 n83_a_dick_1952__1_4_3_4_2_3_2_1 D n83_a_dick_1952__1_4_3_4_2_3_2->n83_a_dick_1952__1_4_3_4_2_3_2_1 n83_a_dick_1952__1_4_3_4_2_3_2_2 N n83_a_dick_1952__1_4_3_4_2_3_2->n83_a_dick_1952__1_4_3_4_2_3_2_2 n83_a_dick_1952__1_4_3_4_2_3_2_1->n83_a_dick_1952__1_4_3_4_2_3_2_1_1 n83_a_dick_1952__1_4_3_4_2_3_2_2->n83_a_dick_1952__1_4_3_4_2_3_2_2_1 n83_a_dick_1952__1_4_3_5->n83_a_dick_1952__1_4_3_5_1 n83_a_dick_1952__1_4_3_6_1 PP-163 n83_a_dick_1952__1_4_3_6->n83_a_dick_1952__1_4_3_6_1 n83_a_dick_1952__1_4_3_6_2 NP-SBJ n83_a_dick_1952__1_4_3_6->n83_a_dick_1952__1_4_3_6_2 n83_a_dick_1952__1_4_3_6_3 BED;_cat_Vg_ n83_a_dick_1952__1_4_3_6->n83_a_dick_1952__1_4_3_6_3 n83_a_dick_1952__1_4_3_6_4 IP-PPL-CAT n83_a_dick_1952__1_4_3_6->n83_a_dick_1952__1_4_3_6_4 n83_a_dick_1952__1_4_3_6_5 PUNC n83_a_dick_1952__1_4_3_6->n83_a_dick_1952__1_4_3_6_5 n83_a_dick_1952__1_4_3_6_6 PP-SCON n83_a_dick_1952__1_4_3_6->n83_a_dick_1952__1_4_3_6_6 n83_a_dick_1952__1_4_3_6_1_1 P-ROLE n83_a_dick_1952__1_4_3_6_1->n83_a_dick_1952__1_4_3_6_1_1 n83_a_dick_1952__1_4_3_6_1_2 NP n83_a_dick_1952__1_4_3_6_1->n83_a_dick_1952__1_4_3_6_1_2 n83_a_dick_1952__1_4_3_6_1_1->n83_a_dick_1952__1_4_3_6_1_1_1 n83_a_dick_1952__1_4_3_6_1_2_1 RPRO n83_a_dick_1952__1_4_3_6_1_2->n83_a_dick_1952__1_4_3_6_1_2_1 n83_a_dick_1952__1_4_3_6_1_2_1->n83_a_dick_1952__1_4_3_6_1_2_1_1 n83_a_dick_1952__1_4_3_6_2_1 D n83_a_dick_1952__1_4_3_6_2->n83_a_dick_1952__1_4_3_6_2_1 n83_a_dick_1952__1_4_3_6_2_2 ADJP n83_a_dick_1952__1_4_3_6_2->n83_a_dick_1952__1_4_3_6_2_2 n83_a_dick_1952__1_4_3_6_2_3 N n83_a_dick_1952__1_4_3_6_2->n83_a_dick_1952__1_4_3_6_2_3 n83_a_dick_1952__1_4_3_6_2_1->n83_a_dick_1952__1_4_3_6_2_1_1 n83_a_dick_1952__1_4_3_6_2_2_1 ADJ n83_a_dick_1952__1_4_3_6_2_2->n83_a_dick_1952__1_4_3_6_2_2_1 n83_a_dick_1952__1_4_3_6_2_2_1->n83_a_dick_1952__1_4_3_6_2_2_1_1 n83_a_dick_1952__1_4_3_6_2_3->n83_a_dick_1952__1_4_3_6_2_3_1 n83_a_dick_1952__1_4_3_6_3->n83_a_dick_1952__1_4_3_6_3_1 n83_a_dick_1952__1_4_3_6_4_1 PP-CLR n83_a_dick_1952__1_4_3_6_4->n83_a_dick_1952__1_4_3_6_4_1 n83_a_dick_1952__1_4_3_6_4_2 VAG;_Ipr_ n83_a_dick_1952__1_4_3_6_4->n83_a_dick_1952__1_4_3_6_4_2 n83_a_dick_1952__1_4_3_6_4_1->n83_a_dick_1952__1_4_3_6_4_1_1 n83_a_dick_1952__1_4_3_6_4_2->n83_a_dick_1952__1_4_3_6_4_2_1 n83_a_dick_1952__1_4_3_6_5->n83_a_dick_1952__1_4_3_6_5_1 n83_a_dick_1952__1_4_3_6_6_1 IP-PPL2 n83_a_dick_1952__1_4_3_6_6->n83_a_dick_1952__1_4_3_6_6_1 n83_a_dick_1952__1_4_3_6_6_1_1 VAG;_Ipr_ n83_a_dick_1952__1_4_3_6_6_1->n83_a_dick_1952__1_4_3_6_6_1_1 n83_a_dick_1952__1_4_3_6_6_1_2 PP-CLR n83_a_dick_1952__1_4_3_6_6_1->n83_a_dick_1952__1_4_3_6_6_1_2 n83_a_dick_1952__1_4_3_6_6_1_1->n83_a_dick_1952__1_4_3_6_6_1_1_1 n83_a_dick_1952__1_4_3_6_6_1_2_1 P-ROLE n83_a_dick_1952__1_4_3_6_6_1_2->n83_a_dick_1952__1_4_3_6_6_1_2_1 n83_a_dick_1952__1_4_3_6_6_1_2_2 NP n83_a_dick_1952__1_4_3_6_6_1_2->n83_a_dick_1952__1_4_3_6_6_1_2_2 n83_a_dick_1952__1_4_3_6_6_1_2_1->n83_a_dick_1952__1_4_3_6_6_1_2_1_1 n83_a_dick_1952__1_4_3_6_6_1_2_2_1 D n83_a_dick_1952__1_4_3_6_6_1_2_2->n83_a_dick_1952__1_4_3_6_6_1_2_2_1 n83_a_dick_1952__1_4_3_6_6_1_2_2_2 N n83_a_dick_1952__1_4_3_6_6_1_2_2->n83_a_dick_1952__1_4_3_6_6_1_2_2_2 n83_a_dick_1952__1_4_3_6_6_1_2_2_3 ADVP-NIM n83_a_dick_1952__1_4_3_6_6_1_2_2->n83_a_dick_1952__1_4_3_6_6_1_2_2_3 n83_a_dick_1952__1_4_3_6_6_1_2_2_1->n83_a_dick_1952__1_4_3_6_6_1_2_2_1_1 n83_a_dick_1952__1_4_3_6_6_1_2_2_2->n83_a_dick_1952__1_4_3_6_6_1_2_2_2_1 n83_a_dick_1952__1_4_3_6_6_1_2_2_3_1 ADV n83_a_dick_1952__1_4_3_6_6_1_2_2_3->n83_a_dick_1952__1_4_3_6_6_1_2_2_3_1 n83_a_dick_1952__1_4_3_6_6_1_2_2_3_1->n83_a_dick_1952__1_4_3_6_6_1_2_2_3_1_1 n83_a_dick_1952__1_5->n83_a_dick_1952__1_5_1 
( (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))


%3 z_0083_5010 r_0083_0025__dissipating_r_0083_0026__into dissipating into z_0083_5010->r_0083_0025__dissipating_r_0083_0026__into [restriction] r_0083_0022__was was z_0083_5010->r_0083_0022__was [scope] r_0083_0027__the_r_0083_0028__void the void r_0083_0025__dissipating_r_0083_0026__into->r_0083_0027__the_r_0083_0028__void [arg1] r_0083_0019__the_r_0083_0021__air the air r_0083_0025__dissipating_r_0083_0026__into->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0017__through_r_0083_0023__rushing through rushing r_0083_0022__was->r_0083_0017__through_r_0083_0023__rushing [scope] r_0083_0029__beyond beyond r_0083_0027__the_r_0083_0028__void->r_0083_0029__beyond [nim] r_0083_0020__precious precious r_0083_0019__the_r_0083_0021__air->r_0083_0020__precious [attrib] r_0083_0017__through_r_0083_0023__rushing->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0007__the_r_0083_0009__leaks the leaks r_0083_0017__through_r_0083_0023__rushing->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 [inv_arg0] r_0083_0006__sealing sealing r_0083_0006__sealing->r_0083_0007__the_r_0083_0009__leaks [arg1] r_0083_0005__already already r_0083_0006__sealing->r_0083_0005__already [nim] 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_0004__were were r_0083_0004__were->r_0083_0006__sealing [scope] r_0083_0001__Outside Outside r_0083_0004__were->r_0083_0001__Outside [nim] 
arc(r_0083_0004__were,r_0083_0001__Outside,nim).
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,nim).
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,inv_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_0017__through_r_0083_0023__rushing,r_0083_0007__the_r_0083_0009__leaks,arg1).
arc(r_0083_0017__through_r_0083_0023__rushing,r_0083_0019__the_r_0083_0021__air,arg0).
arc(r_0083_0019__the_r_0083_0021__air,r_0083_0020__precious,attrib).
arc(r_0083_0022__was,r_0083_0017__through_r_0083_0023__rushing,scope).
arc(r_0083_0025__dissipating_r_0083_0026__into,r_0083_0019__the_r_0083_0021__air,arg0).
arc(r_0083_0025__dissipating_r_0083_0026__into,r_0083_0027__the_r_0083_0028__void,arg1).
arc(r_0083_0027__the_r_0083_0028__void,r_0083_0029__beyond,nim).
arc(z_0083_5010,r_0083_0022__was,scope).
arc(z_0083_5010,r_0083_0025__dissipating_r_0083_0026__into,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_0008__gaping gaping r_0083_0007__the_r_0083_0009__leaks->r_0083_0008__gaping [inv_arg0] 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_0022__was_r_0083_0017__through_r_0083_0023__rushing was through rushing r_0083_0022__was_r_0083_0017__through_r_0083_0023__rushing->r_0083_0007__the_r_0083_0009__leaks [arg1] r_0083_0019__the_r_0083_0021__air the air r_0083_0022__was_r_0083_0017__through_r_0083_0023__rushing->r_0083_0019__the_r_0083_0021__air [arg0] r_0083_0020__precious precious r_0083_0019__the_r_0083_0021__air->r_0083_0020__precious [attrib] r_0083_0025__dissipating_r_0083_0026__into dissipating into r_0083_0025__dissipating_r_0083_0026__into->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_0026__into->r_0083_0027__the_r_0083_0028__void [arg1] r_0083_0029__beyond beyond r_0083_0027__the_r_0083_0028__void->r_0083_0029__beyond [nim] z_0083_5010 z_0083_5010->r_0083_0022__was_r_0083_0017__through_r_0083_0023__rushing [conj2] z_0083_5010->r_0083_0025__dissipating_r_0083_0026__into [conj1] 
fof(formula,axiom,
    ? [R_0083_0001__OUTSIDE,R_0083_0002__THE_R_0083_0003__MEN,R_0083_0005__ALREADY,R_0083_0014__THE_R_0083_0015__SHIP,R_0083_0011__THE_R_0083_0012__SIDE,R_0083_0008__GAPING,R_0083_0007__THE_R_0083_0009__LEAKS,R_0083_0004__WERE_R_0083_0006__SEALING,R_0083_0020__PRECIOUS,R_0083_0019__THE_R_0083_0021__AIR,R_0083_0022__WAS_R_0083_0017__THROUGH_R_0083_0023__RUSHING,R_0083_0029__BEYOND,R_0083_0027__THE_R_0083_0028__VOID,R_0083_0025__DISSIPATING_R_0083_0026__INTO,Z_0083_5010] :
      ( r_0083_0001__Outside(R_0083_0001__OUTSIDE)
      & r_0083_0002__the_r_0083_0003__men(R_0083_0002__THE_R_0083_0003__MEN)
      & r_0083_0005__already(R_0083_0005__ALREADY)
      & r_0083_0008__gaping(R_0083_0008__GAPING)
      & r_0083_0014__the_r_0083_0015__ship(R_0083_0014__THE_R_0083_0015__SHIP)
      & r_0083_0020__precious(R_0083_0020__PRECIOUS)
      & r_0083_0029__beyond(R_0083_0029__BEYOND)
      & z_0083_5010(Z_0083_5010)
      & has_conj1(Z_0083_5010,R_0083_0025__DISSIPATING_R_0083_0026__INTO)
      & r_0083_0025__dissipating_r_0083_0026__into(R_0083_0025__DISSIPATING_R_0083_0026__INTO)
      & has_arg1(R_0083_0025__DISSIPATING_R_0083_0026__INTO,R_0083_0027__THE_R_0083_0028__VOID)
      & r_0083_0027__the_r_0083_0028__void(R_0083_0027__THE_R_0083_0028__VOID)
      & has_nim(R_0083_0027__THE_R_0083_0028__VOID,R_0083_0029__BEYOND)
      & has_arg0(R_0083_0025__DISSIPATING_R_0083_0026__INTO,R_0083_0019__THE_R_0083_0021__AIR)
      & r_0083_0019__the_r_0083_0021__air(R_0083_0019__THE_R_0083_0021__AIR)
      & has_attrib(R_0083_0019__THE_R_0083_0021__AIR,R_0083_0020__PRECIOUS)
      & has_conj2(Z_0083_5010,R_0083_0022__WAS_R_0083_0017__THROUGH_R_0083_0023__RUSHING)
      & r_0083_0022__was_r_0083_0017__through_r_0083_0023__rushing(R_0083_0022__WAS_R_0083_0017__THROUGH_R_0083_0023__RUSHING)
      & has_arg0(R_0083_0022__WAS_R_0083_0017__THROUGH_R_0083_0023__RUSHING,R_0083_0019__THE_R_0083_0021__AIR)
      & has_arg1(R_0083_0022__WAS_R_0083_0017__THROUGH_R_0083_0023__RUSHING,R_0083_0007__THE_R_0083_0009__LEAKS)
      & r_0083_0007__the_r_0083_0009__leaks(R_0083_0007__THE_R_0083_0009__LEAKS)
      & has_inv_arg0(R_0083_0007__THE_R_0083_0009__LEAKS,R_0083_0008__GAPING)
      & has_r_0083_0010__in(R_0083_0007__THE_R_0083_0009__LEAKS,R_0083_0011__THE_R_0083_0012__SIDE)
      & r_0083_0011__the_r_0083_0012__side(R_0083_0011__THE_R_0083_0012__SIDE)
      & has_r_0083_0013__of(R_0083_0011__THE_R_0083_0012__SIDE,R_0083_0014__THE_R_0083_0015__SHIP)
      & r_0083_0004__were_r_0083_0006__sealing(R_0083_0004__WERE_R_0083_0006__SEALING)
      & has_arg1(R_0083_0004__WERE_R_0083_0006__SEALING,R_0083_0007__THE_R_0083_0009__LEAKS)
      & has_nim(R_0083_0004__WERE_R_0083_0006__SEALING,R_0083_0005__ALREADY)
      & has_arg0(R_0083_0004__WERE_R_0083_0006__SEALING,R_0083_0002__THE_R_0083_0003__MEN)
      & has_nim(R_0083_0004__WERE_R_0083_0006__SEALING,R_0083_0001__OUTSIDE) ) ).