Context                Previous, Next                Top


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

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))


%3 r_0004_0017__flying flying 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] r_0004_0008__the_r_0004_0009__section the section r_0004_0017__flying->r_0004_0008__the_r_0004_0009__section over [nim] r_0004_0016__is is r_0004_0016__is->r_0004_0017__flying [scope] 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] 
arc(r_0004_0001__The_r_0004_0003__part,r_0004_0002__lower,attrib).
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__nim).
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_0004_0002__LOWER,R_0004_0005__THE_R_0004_0006__SCREEN,R_0004_0001__THE_R_0004_0003__PART,R_0004_0008__THE_R_0004_0009__SECTION,R_0004_0007__DISPLAYS,R_0004_0012__THE_R_0004_0013__LASER_R_0004_0015__SHIP,R_0004_0016__IS_R_0004_0017__FLYING] :
      ( r_0004_0002__lower(R_0004_0002__LOWER)
      & r_0004_0005__the_r_0004_0006__screen(R_0004_0005__THE_R_0004_0006__SCREEN)
      & r_0004_0008__the_r_0004_0009__section(R_0004_0008__THE_R_0004_0009__SECTION)
      & r_0004_0012__the_r_0004_0013__laser_r_0004_0015__ship(R_0004_0012__THE_R_0004_0013__LASER_R_0004_0015__SHIP)
      & r_0004_0016__is_r_0004_0017__flying(R_0004_0016__IS_R_0004_0017__FLYING)
      & has_arg0(R_0004_0016__IS_R_0004_0017__FLYING,R_0004_0012__THE_R_0004_0013__LASER_R_0004_0015__SHIP)
      & has_r_0004_0010__over__nim(R_0004_0016__IS_R_0004_0017__FLYING,R_0004_0008__THE_R_0004_0009__SECTION)
      & r_0004_0007__displays(R_0004_0007__DISPLAYS)
      & has_arg1(R_0004_0007__DISPLAYS,R_0004_0008__THE_R_0004_0009__SECTION)
      & has_arg0(R_0004_0007__DISPLAYS,R_0004_0001__THE_R_0004_0003__PART)
      & r_0004_0001__The_r_0004_0003__part(R_0004_0001__THE_R_0004_0003__PART)
      & has_r_0004_0004__of(R_0004_0001__THE_R_0004_0003__PART,R_0004_0005__THE_R_0004_0006__SCREEN)
      & has_attrib(R_0004_0001__THE_R_0004_0003__PART,R_0004_0002__LOWER) ) ).