Context                Previous, Next                Top


3_a_planetoid
The scanner in the top section of the screen shows the whole planet's surface, and can be used for long-range reconnaissance.

%3 r_0003_0001__The_r_0003_0002__scanner The scanner r_0003_0004__the_r_0003_0006__section the section r_0003_0001__The_r_0003_0002__scanner->r_0003_0004__the_r_0003_0006__section in r_0003_0005__top top r_0003_0004__the_r_0003_0006__section->r_0003_0005__top [attrib] r_0003_0008__the_r_0003_0009__screen the screen r_0003_0004__the_r_0003_0006__section->r_0003_0008__the_r_0003_0009__screen of r_0003_0010__shows shows r_0003_0010__shows->r_0003_0001__The_r_0003_0002__scanner [arg0] r_0003_0015__surface surface r_0003_0010__shows->r_0003_0015__surface [arg1] r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s the planet 's r_0003_0015__surface->r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s [gen] r_0003_0012__whole whole r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s->r_0003_0012__whole [attrib] r_0003_0017__and and r_0003_0017__and->r_0003_0010__shows [conj1] r_0003_0018__can can r_0003_0017__and->r_0003_0018__can [conj2] r_0003_0019__be be r_0003_0018__can->r_0003_0019__be [scope] r_0003_0020__used used r_0003_0019__be->r_0003_0020__used [scope] r_0003_0020__used->r_0003_0001__The_r_0003_0002__scanner [arg1] r_0003_0023__reconnaissance reconnaissance r_0003_0020__used->r_0003_0023__reconnaissance for [nim] z_000_3_a_planetoid_55 r_0003_0020__used->z_000_3_a_planetoid_55 [arg0] r_0003_0022__long__hyphen__range long-range r_0003_0023__reconnaissance->r_0003_0022__long__hyphen__range [attrib] 
arc(r_0003_0001__The_r_0003_0002__scanner, r_0003_0004__the_r_0003_0006__section, r_0003_0003__in).
arc(r_0003_0004__the_r_0003_0006__section, r_0003_0005__top, attrib13).
arc(r_0003_0004__the_r_0003_0006__section, r_0003_0008__the_r_0003_0009__screen, r_0003_0007__of).
arc(r_0003_0010__shows, r_0003_0001__The_r_0003_0002__scanner, arg0).
arc(r_0003_0010__shows, r_0003_0015__surface, arg1).
arc(r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s, r_0003_0012__whole, attrib34).
arc(r_0003_0015__surface, r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s, gen).
arc(r_0003_0017__and, r_0003_0010__shows, conj1).
arc(r_0003_0017__and, r_0003_0018__can, conj2).
arc(r_0003_0018__can, r_0003_0019__be, scope).
arc(r_0003_0019__be, r_0003_0020__used, scope).
arc(r_0003_0020__used, r_0003_0001__The_r_0003_0002__scanner, arg1).
arc(r_0003_0020__used, r_0003_0023__reconnaissance, r_0003_0021__for_nim62).
arc(r_0003_0020__used, z_000_3_a_planetoid_55, arg0).
arc(r_0003_0023__reconnaissance, r_0003_0022__long__hyphen__range, attrib63).


%3 r_0003_0023__reconnaissance reconnaissance r_0003_0022__long__hyphen__range long-range r_0003_0023__reconnaissance->r_0003_0022__long__hyphen__range [attrib] r_0003_0018__can_r_0003_0019__be_r_0003_0020__used can be used r_0003_0018__can_r_0003_0019__be_r_0003_0020__used->r_0003_0023__reconnaissance for [nim] z_000_3_a_planetoid_55 r_0003_0018__can_r_0003_0019__be_r_0003_0020__used->z_000_3_a_planetoid_55 [arg0] r_0003_0001__The_r_0003_0002__scanner The scanner r_0003_0018__can_r_0003_0019__be_r_0003_0020__used->r_0003_0001__The_r_0003_0002__scanner [arg1] r_0003_0004__the_r_0003_0006__section the section r_0003_0001__The_r_0003_0002__scanner->r_0003_0004__the_r_0003_0006__section in r_0003_0017__and and r_0003_0017__and->r_0003_0018__can_r_0003_0019__be_r_0003_0020__used [conj2] r_0003_0010__shows shows r_0003_0017__and->r_0003_0010__shows [conj1] r_0003_0010__shows->r_0003_0001__The_r_0003_0002__scanner [arg0] r_0003_0015__surface surface r_0003_0010__shows->r_0003_0015__surface [arg1] r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s the planet 's r_0003_0015__surface->r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s [gen] r_0003_0012__whole whole r_0003_0011__the_r_0003_0013__planet_r_0003_0014___apos_s->r_0003_0012__whole [attrib] r_0003_0008__the_r_0003_0009__screen the screen r_0003_0004__the_r_0003_0006__section->r_0003_0008__the_r_0003_0009__screen of r_0003_0005__top top r_0003_0004__the_r_0003_0006__section->r_0003_0005__top [attrib] 
fof(formula,axiom,
    ? [R_3_17_AND,R_3_10_SHOWS,R_3_15_SURFACE,R_3_11_THE_PLANET_APOS_S,R_3_12_WHOLE,R_3_18_CAN_BE_USED,Z_3_A_PLANETOID_55,R_3_1_THE_SCANNER,R_3_4_THE_SECTION,R_3_5_TOP,R_3_8_THE_SCREEN,R_3_23_RECONNAISSANCE,R_3_22_LONG_HYPHEN_RANGE] :
      ( whole(R_3_12_WHOLE)
      & top(R_3_5_TOP)
      & the_screen(R_3_8_THE_SCREEN)
      & long_hyphen_range(R_3_22_LONG_HYPHEN_RANGE)
      & and(R_3_17_AND)
      & conj1(R_3_17_AND,R_3_10_SHOWS)
      & shows(R_3_10_SHOWS,R_3_1_THE_SCANNER,R_3_15_SURFACE)
      & the_scanner(R_3_1_THE_SCANNER)
      & in(R_3_1_THE_SCANNER,R_3_4_THE_SECTION)
      & the_section(R_3_4_THE_SECTION)
      & attrib13(R_3_4_THE_SECTION,R_3_5_TOP)
      & of(R_3_4_THE_SECTION,R_3_8_THE_SCREEN)
      & surface(R_3_15_SURFACE)
      & gen(R_3_15_SURFACE,R_3_11_THE_PLANET_APOS_S)
      & the_planet_apos_s(R_3_11_THE_PLANET_APOS_S)
      & attrib34(R_3_11_THE_PLANET_APOS_S,R_3_12_WHOLE)
      & conj2(R_3_17_AND,R_3_18_CAN_BE_USED)
      & can_be_used(R_3_18_CAN_BE_USED,Z_3_A_PLANETOID_55,R_3_1_THE_SCANNER)
      & for_nim62(R_3_18_CAN_BE_USED,R_3_23_RECONNAISSANCE)
      & reconnaissance(R_3_23_RECONNAISSANCE)
      & attrib63(R_3_23_RECONNAISSANCE,R_3_22_LONG_HYPHEN_RANGE) ) ).


n3_a_planetoid n3_a_planetoid__1_1_1_1 The n3_a_planetoid__1_1_2_1 scanner n3_a_planetoid__1_1_3_1_1 in n3_a_planetoid__1_1_3_2_1_1 the n3_a_planetoid__1_1_3_2_2_1_1 top n3_a_planetoid__1_1_3_2_3_1 section n3_a_planetoid__1_1_3_2_4_1_1 of n3_a_planetoid__1_1_3_2_4_2_1_1 the n3_a_planetoid__1_1_3_2_4_2_2_1 screen n3_a_planetoid__1_2_1_1_1 shows n3_a_planetoid__1_2_1_2_1_1_1 the n3_a_planetoid__1_2_1_2_1_2_1_1 whole n3_a_planetoid__1_2_1_2_1_3_1 planet n3_a_planetoid__1_2_1_2_1_4_1 's n3_a_planetoid__1_2_1_2_2_1 surface n3_a_planetoid__1_2_2_1 , n3_a_planetoid__1_2_3_1_1 and n3_a_planetoid__1_2_3_2_1_1 can n3_a_planetoid__1_2_3_2_2_1_1 be n3_a_planetoid__1_2_3_2_2_2_1_1 * n3_a_planetoid__1_2_3_2_2_2_2_1 used n3_a_planetoid__1_2_3_2_2_2_3_1_1 for n3_a_planetoid__1_2_3_2_2_2_3_2_1_1_1 long-range n3_a_planetoid__1_2_3_2_2_2_3_2_2_1 reconnaissance n3_a_planetoid__1_3_1 . n3_a_planetoid__1 IP-MAT n3_a_planetoid__1_1 NP-SBJ n3_a_planetoid__1->n3_a_planetoid__1_1 n3_a_planetoid__1_2 ILYR n3_a_planetoid__1->n3_a_planetoid__1_2 n3_a_planetoid__1_3 PUNC n3_a_planetoid__1->n3_a_planetoid__1_3 n3_a_planetoid__1_1_1 D n3_a_planetoid__1_1->n3_a_planetoid__1_1_1 n3_a_planetoid__1_1_2 N n3_a_planetoid__1_1->n3_a_planetoid__1_1_2 n3_a_planetoid__1_1_3 PP n3_a_planetoid__1_1->n3_a_planetoid__1_1_3 n3_a_planetoid__1_1_1->n3_a_planetoid__1_1_1_1 n3_a_planetoid__1_1_2->n3_a_planetoid__1_1_2_1 n3_a_planetoid__1_1_3_1 P-ROLE n3_a_planetoid__1_1_3->n3_a_planetoid__1_1_3_1 n3_a_planetoid__1_1_3_2 NP n3_a_planetoid__1_1_3->n3_a_planetoid__1_1_3_2 n3_a_planetoid__1_1_3_1->n3_a_planetoid__1_1_3_1_1 n3_a_planetoid__1_1_3_2_1 D n3_a_planetoid__1_1_3_2->n3_a_planetoid__1_1_3_2_1 n3_a_planetoid__1_1_3_2_2 ADJP n3_a_planetoid__1_1_3_2->n3_a_planetoid__1_1_3_2_2 n3_a_planetoid__1_1_3_2_3 N n3_a_planetoid__1_1_3_2->n3_a_planetoid__1_1_3_2_3 n3_a_planetoid__1_1_3_2_4 PP n3_a_planetoid__1_1_3_2->n3_a_planetoid__1_1_3_2_4 n3_a_planetoid__1_1_3_2_1->n3_a_planetoid__1_1_3_2_1_1 n3_a_planetoid__1_1_3_2_2_1 ADJ n3_a_planetoid__1_1_3_2_2->n3_a_planetoid__1_1_3_2_2_1 n3_a_planetoid__1_1_3_2_2_1->n3_a_planetoid__1_1_3_2_2_1_1 n3_a_planetoid__1_1_3_2_3->n3_a_planetoid__1_1_3_2_3_1 n3_a_planetoid__1_1_3_2_4_1 P-ROLE n3_a_planetoid__1_1_3_2_4->n3_a_planetoid__1_1_3_2_4_1 n3_a_planetoid__1_1_3_2_4_2 NP n3_a_planetoid__1_1_3_2_4->n3_a_planetoid__1_1_3_2_4_2 n3_a_planetoid__1_1_3_2_4_1->n3_a_planetoid__1_1_3_2_4_1_1 n3_a_planetoid__1_1_3_2_4_2_1 D n3_a_planetoid__1_1_3_2_4_2->n3_a_planetoid__1_1_3_2_4_2_1 n3_a_planetoid__1_1_3_2_4_2_2 N n3_a_planetoid__1_1_3_2_4_2->n3_a_planetoid__1_1_3_2_4_2_2 n3_a_planetoid__1_1_3_2_4_2_1->n3_a_planetoid__1_1_3_2_4_2_1_1 n3_a_planetoid__1_1_3_2_4_2_2->n3_a_planetoid__1_1_3_2_4_2_2_1 n3_a_planetoid__1_2_1 ILYR n3_a_planetoid__1_2->n3_a_planetoid__1_2_1 n3_a_planetoid__1_2_2 PUNC n3_a_planetoid__1_2->n3_a_planetoid__1_2_2 n3_a_planetoid__1_2_3 CONJP n3_a_planetoid__1_2->n3_a_planetoid__1_2_3 n3_a_planetoid__1_2_1_1 VBP;_Tn_ n3_a_planetoid__1_2_1->n3_a_planetoid__1_2_1_1 n3_a_planetoid__1_2_1_2 NP-OB1 n3_a_planetoid__1_2_1->n3_a_planetoid__1_2_1_2 n3_a_planetoid__1_2_1_1->n3_a_planetoid__1_2_1_1_1 n3_a_planetoid__1_2_1_2_1 NP-GEN n3_a_planetoid__1_2_1_2->n3_a_planetoid__1_2_1_2_1 n3_a_planetoid__1_2_1_2_2 N n3_a_planetoid__1_2_1_2->n3_a_planetoid__1_2_1_2_2 n3_a_planetoid__1_2_1_2_1_1 D n3_a_planetoid__1_2_1_2_1->n3_a_planetoid__1_2_1_2_1_1 n3_a_planetoid__1_2_1_2_1_2 ADJP n3_a_planetoid__1_2_1_2_1->n3_a_planetoid__1_2_1_2_1_2 n3_a_planetoid__1_2_1_2_1_3 N n3_a_planetoid__1_2_1_2_1->n3_a_planetoid__1_2_1_2_1_3 n3_a_planetoid__1_2_1_2_1_4 GENM n3_a_planetoid__1_2_1_2_1->n3_a_planetoid__1_2_1_2_1_4 n3_a_planetoid__1_2_1_2_1_1->n3_a_planetoid__1_2_1_2_1_1_1 n3_a_planetoid__1_2_1_2_1_2_1 ADJ n3_a_planetoid__1_2_1_2_1_2->n3_a_planetoid__1_2_1_2_1_2_1 n3_a_planetoid__1_2_1_2_1_2_1->n3_a_planetoid__1_2_1_2_1_2_1_1 n3_a_planetoid__1_2_1_2_1_3->n3_a_planetoid__1_2_1_2_1_3_1 n3_a_planetoid__1_2_1_2_1_4->n3_a_planetoid__1_2_1_2_1_4_1 n3_a_planetoid__1_2_1_2_2->n3_a_planetoid__1_2_1_2_2_1 n3_a_planetoid__1_2_2->n3_a_planetoid__1_2_2_1 n3_a_planetoid__1_2_3_1 CONJ n3_a_planetoid__1_2_3->n3_a_planetoid__1_2_3_1 n3_a_planetoid__1_2_3_2 ILYR n3_a_planetoid__1_2_3->n3_a_planetoid__1_2_3_2 n3_a_planetoid__1_2_3_1->n3_a_planetoid__1_2_3_1_1 n3_a_planetoid__1_2_3_2_1 MD;_cat_Vi_ n3_a_planetoid__1_2_3_2->n3_a_planetoid__1_2_3_2_1 n3_a_planetoid__1_2_3_2_2 IP-INF-CAT n3_a_planetoid__1_2_3_2->n3_a_planetoid__1_2_3_2_2 n3_a_planetoid__1_2_3_2_1->n3_a_planetoid__1_2_3_2_1_1 n3_a_planetoid__1_2_3_2_2_1 BE;_cat_VePASS_ n3_a_planetoid__1_2_3_2_2->n3_a_planetoid__1_2_3_2_2_1 n3_a_planetoid__1_2_3_2_2_2 IP-PPL-CAT n3_a_planetoid__1_2_3_2_2->n3_a_planetoid__1_2_3_2_2_2 n3_a_planetoid__1_2_3_2_2_1->n3_a_planetoid__1_2_3_2_2_1_1 n3_a_planetoid__1_2_3_2_2_2_1 NP-LGS n3_a_planetoid__1_2_3_2_2_2->n3_a_planetoid__1_2_3_2_2_2_1 n3_a_planetoid__1_2_3_2_2_2_2 VVN;_Tn.pr_ n3_a_planetoid__1_2_3_2_2_2->n3_a_planetoid__1_2_3_2_2_2_2 n3_a_planetoid__1_2_3_2_2_2_3 PP-NIM n3_a_planetoid__1_2_3_2_2_2->n3_a_planetoid__1_2_3_2_2_2_3 n3_a_planetoid__1_2_3_2_2_2_1->n3_a_planetoid__1_2_3_2_2_2_1_1 n3_a_planetoid__1_2_3_2_2_2_2->n3_a_planetoid__1_2_3_2_2_2_2_1 n3_a_planetoid__1_2_3_2_2_2_3_1 P-ROLE n3_a_planetoid__1_2_3_2_2_2_3->n3_a_planetoid__1_2_3_2_2_2_3_1 n3_a_planetoid__1_2_3_2_2_2_3_2 NP n3_a_planetoid__1_2_3_2_2_2_3->n3_a_planetoid__1_2_3_2_2_2_3_2 n3_a_planetoid__1_2_3_2_2_2_3_1->n3_a_planetoid__1_2_3_2_2_2_3_1_1 n3_a_planetoid__1_2_3_2_2_2_3_2_1 ADJP n3_a_planetoid__1_2_3_2_2_2_3_2->n3_a_planetoid__1_2_3_2_2_2_3_2_1 n3_a_planetoid__1_2_3_2_2_2_3_2_2 N n3_a_planetoid__1_2_3_2_2_2_3_2->n3_a_planetoid__1_2_3_2_2_2_3_2_2 n3_a_planetoid__1_2_3_2_2_2_3_2_1_1 ADJ n3_a_planetoid__1_2_3_2_2_2_3_2_1->n3_a_planetoid__1_2_3_2_2_2_3_2_1_1 n3_a_planetoid__1_2_3_2_2_2_3_2_1_1->n3_a_planetoid__1_2_3_2_2_2_3_2_1_1_1 n3_a_planetoid__1_2_3_2_2_2_3_2_2->n3_a_planetoid__1_2_3_2_2_2_3_2_2_1 n3_a_planetoid__1_3->n3_a_planetoid__1_3_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N scanner;{scanner})
                  (PP (P-ROLE in;{in})
                      (NP (D the;{the})
                          (ADJP (ADJ top;{top}))
                          (N section;{section})
                          (PP (P-ROLE of;{of})
                              (NP;{SCREEN} (D the;{the})
                                           (N screen;{screen}))))))
          (ILYR (ILYR (VBP;_Tn_ shows;{show})
                      (NP-OB1 (NP-GEN (D the;{the})
                                      (ADJP (ADJ whole;{whole}))
                                      (N planet;{planet})
                                      (GENM <apos>s))
                              (N surface;{surface})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;_Tn.pr_ used;{use})
                                                     (PP-NIM (P-ROLE for;{for})
                                                             (NP (ADJP (ADJ long_<hyphen>_range;{long_range}))
                                                                 (N reconnaissance;{reconnaissance}))))))))
          (PUNC .))
  (ID 3_a_planetoid))