TSPC 11_a_voyager

11_a_voyager
Of the 200 billion stars in the Milky Way galaxy, some -- perhaps many -- may have inhabited planets and spacefaring civilizations.

arc(r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars, r_0011_0007__the_r_0011_0008__Milky_r_0011_0009__Way_r_0011_0010__galaxy, r_0011_0006__in).
arc(r_0011_0017__may, r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars, r_0011_0001__Of_nim5).
arc(r_0011_0017__may, r_0011_0018__have, scope).
arc(r_0011_0018__have, r_0011_0012__some, arg0).
arc(r_0011_0018__have, r_0011_0021__and, arg1).
arc(r_0011_0019__inhabited, r_0011_0020__planets, arg1).
arc(r_0011_0019__inhabited, z_000_11_a_voyager_51, arg0).
arc(r_0011_0021__and, r_0011_0020__planets, conj1).
arc(r_0011_0021__and, r_0011_0023__civilizations, conj2).
arc(r_0011_0023__civilizations, r_0011_0022__spacefaring, attrib61).

fof(formula,axiom,
    ? [R_0011_0007__THE_R_0011_0008__MILKY_R_0011_0009__WAY_R_0011_0010__GALAXY,R_0011_0002__THE_R_0011_0003__200_R_0011_0004__BILLION_R_0011_0005__STARS,R_0011_0012__SOME,R_0011_0020__PLANETS,R_0011_0022__SPACEFARING,R_0011_0023__CIVILIZATIONS,R_0011_0021__AND,R_0011_0017__MAY_R_0011_0018__HAVE,Z_000_11_A_VOYAGER_51,R_0011_0019__INHABITED] :
      ( r_0011_0007__the_r_0011_0008__Milky_r_0011_0009__Way_r_0011_0010__galaxy(R_0011_0007__THE_R_0011_0008__MILKY_R_0011_0009__WAY_R_0011_0010__GALAXY)
      & r_0011_0012__some(R_0011_0012__SOME)
      & r_0011_0020__planets(R_0011_0020__PLANETS)
      & r_0011_0022__spacefaring(R_0011_0022__SPACEFARING)
      & z_000_11_a_voyager_51(Z_000_11_A_VOYAGER_51)
      & r_0011_0019__inhabited(R_0011_0019__INHABITED)
      & has_arg0(R_0011_0019__INHABITED,Z_000_11_A_VOYAGER_51)
      & has_arg1(R_0011_0019__INHABITED,R_0011_0020__PLANETS)
      & r_0011_0017__may_r_0011_0018__have(R_0011_0017__MAY_R_0011_0018__HAVE)
      & has_arg1(R_0011_0017__MAY_R_0011_0018__HAVE,R_0011_0021__AND)
      & r_0011_0021__and(R_0011_0021__AND)
      & has_conj2(R_0011_0021__AND,R_0011_0023__CIVILIZATIONS)
      & r_0011_0023__civilizations(R_0011_0023__CIVILIZATIONS)
      & has_attrib61(R_0011_0023__CIVILIZATIONS,R_0011_0022__SPACEFARING)
      & has_conj1(R_0011_0021__AND,R_0011_0020__PLANETS)
      & has_arg0(R_0011_0017__MAY_R_0011_0018__HAVE,R_0011_0012__SOME)
      & has_r_0011_0001__Of_nim5(R_0011_0017__MAY_R_0011_0018__HAVE,R_0011_0002__THE_R_0011_0003__200_R_0011_0004__BILLION_R_0011_0005__STARS)
      & r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars(R_0011_0002__THE_R_0011_0003__200_R_0011_0004__BILLION_R_0011_0005__STARS)
      & has_r_0011_0006__in(R_0011_0002__THE_R_0011_0003__200_R_0011_0004__BILLION_R_0011_0005__STARS,R_0011_0007__THE_R_0011_0008__MILKY_R_0011_0009__WAY_R_0011_0010__GALAXY) ) ).

( (IP-MAT (PP-NIM (P-ROLE Of;{of})
                  (NP (D the;{the})
                      (NUM 200)
                      (N billion;{billion})
                      (NS stars;{star})
                      (PP (P-ROLE in;{in})
                          (NP (D the;{the})
                              (NPR Milky;{Milky})
                              (NPR Way;{Way})
                              (N galaxy;{galaxy})))))
          (PUNC ,)
          (NP-SBJ (D;_nphd_ some;{some})
                  (PUNC --)
                  (PRN (ADJP (ADVP (ADV perhaps;{perhaps}))
                             (ADJ many;{many})))
                  (PUNC --))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (HV;_Tn_ have;{have})
                      (NP-OB1 (NLYR (NLYR (IP-PPL (NP-LGS *)
                                                  (VVN;_Tn_ inhabited;{inhabit}))
                                          (NS planets;{planet}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (ADJP (ADJ spacefaring;{spacefaring}))
                                                 (NS civilizations;{civilization}))))))
          (PUNC .))
  (ID 11_a_voyager))