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

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

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