Context                Previous, Next                Top


4_a_planetoid
The lower part of the screen displays the section over which the laser - ship is flying.

%3 r_0004_0001__The_r_0004_0003__part The part r_0004_0002__lower lower r_0004_0001__The_r_0004_0003__part->r_0004_0002__lower [attrib] r_0004_0005__the_r_0004_0006__screen the screen r_0004_0001__The_r_0004_0003__part->r_0004_0005__the_r_0004_0006__screen of r_0004_0007__displays displays r_0004_0007__displays->r_0004_0001__The_r_0004_0003__part [arg0] r_0004_0008__the_r_0004_0009__section the section r_0004_0007__displays->r_0004_0008__the_r_0004_0009__section [arg1] r_0004_0016__is is r_0004_0017__flying flying r_0004_0016__is->r_0004_0017__flying [scope] r_0004_0017__flying->r_0004_0008__the_r_0004_0009__section over [nim] r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship the laser ship r_0004_0017__flying->r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship [arg0] 
arc(r_0004_0001__The_r_0004_0003__part, r_0004_0002__lower, attrib5).
arc(r_0004_0001__The_r_0004_0003__part, r_0004_0005__the_r_0004_0006__screen, r_0004_0004__of).
arc(r_0004_0007__displays, r_0004_0001__The_r_0004_0003__part, arg0).
arc(r_0004_0007__displays, r_0004_0008__the_r_0004_0009__section, arg1).
arc(r_0004_0016__is, r_0004_0017__flying, scope).
arc(r_0004_0017__flying, r_0004_0008__the_r_0004_0009__section, r_0004_0010__over_nim29).
arc(r_0004_0017__flying, r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship, arg0).


%3 r_0004_0016__is_r_0004_0017__flying is flying r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship the laser ship r_0004_0016__is_r_0004_0017__flying->r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship [arg0] r_0004_0008__the_r_0004_0009__section the section r_0004_0016__is_r_0004_0017__flying->r_0004_0008__the_r_0004_0009__section over [nim] r_0004_0007__displays displays r_0004_0007__displays->r_0004_0008__the_r_0004_0009__section [arg1] r_0004_0001__The_r_0004_0003__part The part r_0004_0007__displays->r_0004_0001__The_r_0004_0003__part [arg0] r_0004_0005__the_r_0004_0006__screen the screen r_0004_0001__The_r_0004_0003__part->r_0004_0005__the_r_0004_0006__screen of r_0004_0002__lower lower r_0004_0001__The_r_0004_0003__part->r_0004_0002__lower [attrib] 
fof(formula,axiom,
    ? [R_4_7_DISPLAYS,R_4_1_THE_PART,R_4_2_LOWER,R_4_5_THE_SCREEN,R_4_16_IS_FLYING,R_4_12_THE_LASER_SHIP,R_4_8_THE_SECTION] :
      ( lower(R_4_2_LOWER)
      & the_screen(R_4_5_THE_SCREEN)
      & the_laser_ship(R_4_12_THE_LASER_SHIP)
      & the_section(R_4_8_THE_SECTION)
      & displays(R_4_7_DISPLAYS,R_4_1_THE_PART,R_4_8_THE_SECTION)
      & the_part(R_4_1_THE_PART)
      & attrib5(R_4_1_THE_PART,R_4_2_LOWER)
      & of(R_4_1_THE_PART,R_4_5_THE_SCREEN)
      & is_flying(R_4_16_IS_FLYING,R_4_12_THE_LASER_SHIP)
      & over_nim29(R_4_16_IS_FLYING,R_4_8_THE_SECTION) ) ).


n4_a_planetoid n4_a_planetoid__1_1_1_1 The n4_a_planetoid__1_1_2_1_1 lower n4_a_planetoid__1_1_3_1 part n4_a_planetoid__1_1_4_1_1 of n4_a_planetoid__1_1_4_2_1_1 the n4_a_planetoid__1_1_4_2_2_1 screen n4_a_planetoid__1_2_1 displays n4_a_planetoid__1_3_1_1 the n4_a_planetoid__1_3_2_1 section n4_a_planetoid__1_3_3_1_1_1 over n4_a_planetoid__1_3_3_1_2_1_1 which n4_a_planetoid__1_3_3_2_1_1 the n4_a_planetoid__1_3_3_2_2_1 laser n4_a_planetoid__1_3_3_2_3_1 - n4_a_planetoid__1_3_3_2_4_1 ship n4_a_planetoid__1_3_3_3_1 is n4_a_planetoid__1_3_3_4_1_1 *ICH*-131 n4_a_planetoid__1_3_3_4_2_1 flying n4_a_planetoid__1_4_1 . n4_a_planetoid__1 IP-MAT n4_a_planetoid__1_1 NP-SBJ n4_a_planetoid__1->n4_a_planetoid__1_1 n4_a_planetoid__1_2 VBP;_Tn_ n4_a_planetoid__1->n4_a_planetoid__1_2 n4_a_planetoid__1_3 NP-OB1 n4_a_planetoid__1->n4_a_planetoid__1_3 n4_a_planetoid__1_4 PUNC n4_a_planetoid__1->n4_a_planetoid__1_4 n4_a_planetoid__1_1_1 D n4_a_planetoid__1_1->n4_a_planetoid__1_1_1 n4_a_planetoid__1_1_2 ADJP n4_a_planetoid__1_1->n4_a_planetoid__1_1_2 n4_a_planetoid__1_1_3 N n4_a_planetoid__1_1->n4_a_planetoid__1_1_3 n4_a_planetoid__1_1_4 PP n4_a_planetoid__1_1->n4_a_planetoid__1_1_4 n4_a_planetoid__1_1_1->n4_a_planetoid__1_1_1_1 n4_a_planetoid__1_1_2_1 ADJR n4_a_planetoid__1_1_2->n4_a_planetoid__1_1_2_1 n4_a_planetoid__1_1_2_1->n4_a_planetoid__1_1_2_1_1 n4_a_planetoid__1_1_3->n4_a_planetoid__1_1_3_1 n4_a_planetoid__1_1_4_1 P-ROLE n4_a_planetoid__1_1_4->n4_a_planetoid__1_1_4_1 n4_a_planetoid__1_1_4_2 NP n4_a_planetoid__1_1_4->n4_a_planetoid__1_1_4_2 n4_a_planetoid__1_1_4_1->n4_a_planetoid__1_1_4_1_1 n4_a_planetoid__1_1_4_2_1 D n4_a_planetoid__1_1_4_2->n4_a_planetoid__1_1_4_2_1 n4_a_planetoid__1_1_4_2_2 N n4_a_planetoid__1_1_4_2->n4_a_planetoid__1_1_4_2_2 n4_a_planetoid__1_1_4_2_1->n4_a_planetoid__1_1_4_2_1_1 n4_a_planetoid__1_1_4_2_2->n4_a_planetoid__1_1_4_2_2_1 n4_a_planetoid__1_2->n4_a_planetoid__1_2_1 n4_a_planetoid__1_3_1 D n4_a_planetoid__1_3->n4_a_planetoid__1_3_1 n4_a_planetoid__1_3_2 N n4_a_planetoid__1_3->n4_a_planetoid__1_3_2 n4_a_planetoid__1_3_3 IP-REL n4_a_planetoid__1_3->n4_a_planetoid__1_3_3 n4_a_planetoid__1_3_1->n4_a_planetoid__1_3_1_1 n4_a_planetoid__1_3_2->n4_a_planetoid__1_3_2_1 n4_a_planetoid__1_3_3_1 PP-131 n4_a_planetoid__1_3_3->n4_a_planetoid__1_3_3_1 n4_a_planetoid__1_3_3_2 NP-SBJ n4_a_planetoid__1_3_3->n4_a_planetoid__1_3_3_2 n4_a_planetoid__1_3_3_3 BEP;_cat_Vg_ n4_a_planetoid__1_3_3->n4_a_planetoid__1_3_3_3 n4_a_planetoid__1_3_3_4 IP-PPL-CAT n4_a_planetoid__1_3_3->n4_a_planetoid__1_3_3_4 n4_a_planetoid__1_3_3_1_1 P-ROLE n4_a_planetoid__1_3_3_1->n4_a_planetoid__1_3_3_1_1 n4_a_planetoid__1_3_3_1_2 NP n4_a_planetoid__1_3_3_1->n4_a_planetoid__1_3_3_1_2 n4_a_planetoid__1_3_3_1_1->n4_a_planetoid__1_3_3_1_1_1 n4_a_planetoid__1_3_3_1_2_1 RPRO n4_a_planetoid__1_3_3_1_2->n4_a_planetoid__1_3_3_1_2_1 n4_a_planetoid__1_3_3_1_2_1->n4_a_planetoid__1_3_3_1_2_1_1 n4_a_planetoid__1_3_3_2_1 D n4_a_planetoid__1_3_3_2->n4_a_planetoid__1_3_3_2_1 n4_a_planetoid__1_3_3_2_2 N n4_a_planetoid__1_3_3_2->n4_a_planetoid__1_3_3_2_2 n4_a_planetoid__1_3_3_2_3 PUNC n4_a_planetoid__1_3_3_2->n4_a_planetoid__1_3_3_2_3 n4_a_planetoid__1_3_3_2_4 N n4_a_planetoid__1_3_3_2->n4_a_planetoid__1_3_3_2_4 n4_a_planetoid__1_3_3_2_1->n4_a_planetoid__1_3_3_2_1_1 n4_a_planetoid__1_3_3_2_2->n4_a_planetoid__1_3_3_2_2_1 n4_a_planetoid__1_3_3_2_3->n4_a_planetoid__1_3_3_2_3_1 n4_a_planetoid__1_3_3_2_4->n4_a_planetoid__1_3_3_2_4_1 n4_a_planetoid__1_3_3_3->n4_a_planetoid__1_3_3_3_1 n4_a_planetoid__1_3_3_4_1 PP-NIM n4_a_planetoid__1_3_3_4->n4_a_planetoid__1_3_3_4_1 n4_a_planetoid__1_3_3_4_2 VAG;_I_ n4_a_planetoid__1_3_3_4->n4_a_planetoid__1_3_3_4_2 n4_a_planetoid__1_3_3_4_1->n4_a_planetoid__1_3_3_4_1_1 n4_a_planetoid__1_3_3_4_2->n4_a_planetoid__1_3_3_4_2_1 n4_a_planetoid__1_4->n4_a_planetoid__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJR lower;{low}))
                  (N part;{part})
                  (PP (P-ROLE of;{of})
                      (NP;{SCREEN} (D the;{the})
                                   (N screen;{screen}))))
          (VBP;_Tn_ displays;{display})
          (NP-OB1 (D the;{the})
                  (N section;{section})
                  (IP-REL (PP-131 (P-ROLE over;{over})
                                  (NP (RPRO which;{which})))
                          (NP-SBJ;{SHIP} (D the;{the})
                                         (N laser;{laser})
                                         (PUNC <hyphen>)
                                         (N ship;{ship}))
                          (BEP;_cat_Vg_ is;{be})
                          (IP-PPL-CAT (PP-NIM *ICH*-131)
                                      (VAG;_I_ flying;{fly}))))
          (PUNC .))
  (ID 4_a_planetoid))