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_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_r_0004_0017__flying is flying r_0004_0016__is_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_0016__is_r_0004_0017__flying->r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship [arg0] 
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_4 The n4_a_planetoid_7 lower n4_a_planetoid_9 part n4_a_planetoid_12 of n4_a_planetoid_15 the n4_a_planetoid_17 screen n4_a_planetoid_19 displays n4_a_planetoid_22 the n4_a_planetoid_24 section n4_a_planetoid_28 over n4_a_planetoid_31 which n4_a_planetoid_34 the n4_a_planetoid_36 laser n4_a_planetoid_38 - n4_a_planetoid_40 ship n4_a_planetoid_42 is n4_a_planetoid_45 *ICH*-131 n4_a_planetoid_47 flying n4_a_planetoid_49 . n4_a_planetoid_1 IP-MAT n4_a_planetoid_2 NP-SBJ n4_a_planetoid_1->n4_a_planetoid_2 n4_a_planetoid_18 VBP;_Tn_ n4_a_planetoid_1->n4_a_planetoid_18 n4_a_planetoid_20 NP-OB1 n4_a_planetoid_1->n4_a_planetoid_20 n4_a_planetoid_48 PUNC n4_a_planetoid_1->n4_a_planetoid_48 n4_a_planetoid_3 D n4_a_planetoid_2->n4_a_planetoid_3 n4_a_planetoid_5 ADJP n4_a_planetoid_2->n4_a_planetoid_5 n4_a_planetoid_8 N n4_a_planetoid_2->n4_a_planetoid_8 n4_a_planetoid_10 PP n4_a_planetoid_2->n4_a_planetoid_10 n4_a_planetoid_3->n4_a_planetoid_4 n4_a_planetoid_6 ADJR n4_a_planetoid_5->n4_a_planetoid_6 n4_a_planetoid_6->n4_a_planetoid_7 n4_a_planetoid_8->n4_a_planetoid_9 n4_a_planetoid_11 P-ROLE n4_a_planetoid_10->n4_a_planetoid_11 n4_a_planetoid_13 NP n4_a_planetoid_10->n4_a_planetoid_13 n4_a_planetoid_11->n4_a_planetoid_12 n4_a_planetoid_14 D n4_a_planetoid_13->n4_a_planetoid_14 n4_a_planetoid_16 N n4_a_planetoid_13->n4_a_planetoid_16 n4_a_planetoid_14->n4_a_planetoid_15 n4_a_planetoid_16->n4_a_planetoid_17 n4_a_planetoid_18->n4_a_planetoid_19 n4_a_planetoid_21 D n4_a_planetoid_20->n4_a_planetoid_21 n4_a_planetoid_23 N n4_a_planetoid_20->n4_a_planetoid_23 n4_a_planetoid_25 IP-REL n4_a_planetoid_20->n4_a_planetoid_25 n4_a_planetoid_21->n4_a_planetoid_22 n4_a_planetoid_23->n4_a_planetoid_24 n4_a_planetoid_26 PP-131 n4_a_planetoid_25->n4_a_planetoid_26 n4_a_planetoid_32 NP-SBJ n4_a_planetoid_25->n4_a_planetoid_32 n4_a_planetoid_41 BEP;_cat_Vg_ n4_a_planetoid_25->n4_a_planetoid_41 n4_a_planetoid_43 IP-PPL-CAT n4_a_planetoid_25->n4_a_planetoid_43 n4_a_planetoid_27 P-ROLE n4_a_planetoid_26->n4_a_planetoid_27 n4_a_planetoid_29 NP n4_a_planetoid_26->n4_a_planetoid_29 n4_a_planetoid_27->n4_a_planetoid_28 n4_a_planetoid_30 RPRO n4_a_planetoid_29->n4_a_planetoid_30 n4_a_planetoid_30->n4_a_planetoid_31 n4_a_planetoid_33 D n4_a_planetoid_32->n4_a_planetoid_33 n4_a_planetoid_35 N n4_a_planetoid_32->n4_a_planetoid_35 n4_a_planetoid_37 PUNC n4_a_planetoid_32->n4_a_planetoid_37 n4_a_planetoid_39 N n4_a_planetoid_32->n4_a_planetoid_39 n4_a_planetoid_33->n4_a_planetoid_34 n4_a_planetoid_35->n4_a_planetoid_36 n4_a_planetoid_37->n4_a_planetoid_38 n4_a_planetoid_39->n4_a_planetoid_40 n4_a_planetoid_41->n4_a_planetoid_42 n4_a_planetoid_44 PP-NIM n4_a_planetoid_43->n4_a_planetoid_44 n4_a_planetoid_46 VAG;_I_ n4_a_planetoid_43->n4_a_planetoid_46 n4_a_planetoid_44->n4_a_planetoid_45 n4_a_planetoid_46->n4_a_planetoid_47 n4_a_planetoid_48->n4_a_planetoid_49 
( (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))