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.
( (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))
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,attrib).
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_0012__whole,attrib).
arc(r_0003_0015__surface,r_0003_0011__the_r_0003_0013__planet,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__nim).
arc(r_0003_0020__used,z_0003_5013___star_,arg0).
arc(r_0003_0023__reconnaissance,r_0003_0022__long__hyphen__range,attrib).
fof(formula,axiom,
? [R_0003_0005__TOP,R_0003_0008__THE_R_0003_0009__SCREEN,R_0003_0004__THE_R_0003_0006__SECTION,R_0003_0001__THE_R_0003_0002__SCANNER,R_0003_0012__WHOLE,R_0003_0011__THE_R_0003_0013__PLANET,R_0003_0015__SURFACE,R_0003_0010__SHOWS,R_0003_0022__LONG__HYPHEN__RANGE,R_0003_0023__RECONNAISSANCE,Z_0003_5013___STAR_,R_0003_0018__CAN_R_0003_0019__BE_R_0003_0020__USED,R_0003_0017__AND] :
( r_0003_0005__top(R_0003_0005__TOP)
& r_0003_0008__the_r_0003_0009__screen(R_0003_0008__THE_R_0003_0009__SCREEN)
& r_0003_0012__whole(R_0003_0012__WHOLE)
& r_0003_0022__long__hyphen__range(R_0003_0022__LONG__HYPHEN__RANGE)
& z_0003_5013___star_(Z_0003_5013___STAR_)
& r_0003_0017__and(R_0003_0017__AND)
& has_conj2(R_0003_0017__AND,R_0003_0018__CAN_R_0003_0019__BE_R_0003_0020__USED)
& r_0003_0018__can_r_0003_0019__be_r_0003_0020__used(R_0003_0018__CAN_R_0003_0019__BE_R_0003_0020__USED)
& has_arg0(R_0003_0018__CAN_R_0003_0019__BE_R_0003_0020__USED,Z_0003_5013___STAR_)
& has_r_0003_0021__for__nim(R_0003_0018__CAN_R_0003_0019__BE_R_0003_0020__USED,R_0003_0023__RECONNAISSANCE)
& r_0003_0023__reconnaissance(R_0003_0023__RECONNAISSANCE)
& has_attrib(R_0003_0023__RECONNAISSANCE,R_0003_0022__LONG__HYPHEN__RANGE)
& has_arg1(R_0003_0018__CAN_R_0003_0019__BE_R_0003_0020__USED,R_0003_0001__THE_R_0003_0002__SCANNER)
& r_0003_0001__The_r_0003_0002__scanner(R_0003_0001__THE_R_0003_0002__SCANNER)
& has_r_0003_0003__in(R_0003_0001__THE_R_0003_0002__SCANNER,R_0003_0004__THE_R_0003_0006__SECTION)
& r_0003_0004__the_r_0003_0006__section(R_0003_0004__THE_R_0003_0006__SECTION)
& has_r_0003_0007__of(R_0003_0004__THE_R_0003_0006__SECTION,R_0003_0008__THE_R_0003_0009__SCREEN)
& has_attrib(R_0003_0004__THE_R_0003_0006__SECTION,R_0003_0005__TOP)
& has_conj1(R_0003_0017__AND,R_0003_0010__SHOWS)
& r_0003_0010__shows(R_0003_0010__SHOWS)
& has_arg1(R_0003_0010__SHOWS,R_0003_0015__SURFACE)
& r_0003_0015__surface(R_0003_0015__SURFACE)
& has_gen(R_0003_0015__SURFACE,R_0003_0011__THE_R_0003_0013__PLANET)
& r_0003_0011__the_r_0003_0013__planet(R_0003_0011__THE_R_0003_0013__PLANET)
& has_attrib(R_0003_0011__THE_R_0003_0013__PLANET,R_0003_0012__WHOLE)
& has_arg0(R_0003_0010__SHOWS,R_0003_0001__THE_R_0003_0002__SCANNER) ) ).