Context                Previous, Next                Top


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

n11_a_voyager n11_a_voyager__1_1_1_1 Of n11_a_voyager__1_1_2_1_1 the n11_a_voyager__1_1_2_2_1 200 n11_a_voyager__1_1_2_3_1 billion n11_a_voyager__1_1_2_4_1 stars n11_a_voyager__1_1_2_5_1_1 in n11_a_voyager__1_1_2_5_2_1_1 the n11_a_voyager__1_1_2_5_2_2_1_1 Milky n11_a_voyager__1_1_2_5_2_2_2_1 Way n11_a_voyager__1_1_2_5_2_3_1 galaxy n11_a_voyager__1_2_1 , n11_a_voyager__1_3_1_1 some n11_a_voyager__1_3_2_1 -- n11_a_voyager__1_3_3_1_1_1_1 perhaps n11_a_voyager__1_3_3_1_2_1 many n11_a_voyager__1_3_4_1 -- n11_a_voyager__1_4_1 may n11_a_voyager__1_5_1_1 have n11_a_voyager__1_5_2_1_1_1_1_1 * n11_a_voyager__1_5_2_1_1_1_2_1 inhabited n11_a_voyager__1_5_2_1_1_2_1 planets n11_a_voyager__1_5_2_1_2_1_1 and n11_a_voyager__1_5_2_1_2_2_1_1_1 spacefaring n11_a_voyager__1_5_2_1_2_2_2_1 civilizations n11_a_voyager__1_6_1 . n11_a_voyager__1 IP-MAT n11_a_voyager__1_1 PP-NIM n11_a_voyager__1->n11_a_voyager__1_1 n11_a_voyager__1_2 PUNC n11_a_voyager__1->n11_a_voyager__1_2 n11_a_voyager__1_3 NP-SBJ n11_a_voyager__1->n11_a_voyager__1_3 n11_a_voyager__1_4 MD;_cat_Vi_ n11_a_voyager__1->n11_a_voyager__1_4 n11_a_voyager__1_5 IP-INF-CAT n11_a_voyager__1->n11_a_voyager__1_5 n11_a_voyager__1_6 PUNC n11_a_voyager__1->n11_a_voyager__1_6 n11_a_voyager__1_1_1 P-ROLE n11_a_voyager__1_1->n11_a_voyager__1_1_1 n11_a_voyager__1_1_2 NP n11_a_voyager__1_1->n11_a_voyager__1_1_2 n11_a_voyager__1_1_1->n11_a_voyager__1_1_1_1 n11_a_voyager__1_1_2_1 D n11_a_voyager__1_1_2->n11_a_voyager__1_1_2_1 n11_a_voyager__1_1_2_2 NUM n11_a_voyager__1_1_2->n11_a_voyager__1_1_2_2 n11_a_voyager__1_1_2_3 N n11_a_voyager__1_1_2->n11_a_voyager__1_1_2_3 n11_a_voyager__1_1_2_4 NS n11_a_voyager__1_1_2->n11_a_voyager__1_1_2_4 n11_a_voyager__1_1_2_5 PP n11_a_voyager__1_1_2->n11_a_voyager__1_1_2_5 n11_a_voyager__1_1_2_1->n11_a_voyager__1_1_2_1_1 n11_a_voyager__1_1_2_2->n11_a_voyager__1_1_2_2_1 n11_a_voyager__1_1_2_3->n11_a_voyager__1_1_2_3_1 n11_a_voyager__1_1_2_4->n11_a_voyager__1_1_2_4_1 n11_a_voyager__1_1_2_5_1 P-ROLE n11_a_voyager__1_1_2_5->n11_a_voyager__1_1_2_5_1 n11_a_voyager__1_1_2_5_2 NP n11_a_voyager__1_1_2_5->n11_a_voyager__1_1_2_5_2 n11_a_voyager__1_1_2_5_1->n11_a_voyager__1_1_2_5_1_1 n11_a_voyager__1_1_2_5_2_1 D n11_a_voyager__1_1_2_5_2->n11_a_voyager__1_1_2_5_2_1 n11_a_voyager__1_1_2_5_2_2 NLYR n11_a_voyager__1_1_2_5_2->n11_a_voyager__1_1_2_5_2_2 n11_a_voyager__1_1_2_5_2_3 N n11_a_voyager__1_1_2_5_2->n11_a_voyager__1_1_2_5_2_3 n11_a_voyager__1_1_2_5_2_1->n11_a_voyager__1_1_2_5_2_1_1 n11_a_voyager__1_1_2_5_2_2_1 NPR n11_a_voyager__1_1_2_5_2_2->n11_a_voyager__1_1_2_5_2_2_1 n11_a_voyager__1_1_2_5_2_2_2 NPR n11_a_voyager__1_1_2_5_2_2->n11_a_voyager__1_1_2_5_2_2_2 n11_a_voyager__1_1_2_5_2_2_1->n11_a_voyager__1_1_2_5_2_2_1_1 n11_a_voyager__1_1_2_5_2_2_2->n11_a_voyager__1_1_2_5_2_2_2_1 n11_a_voyager__1_1_2_5_2_3->n11_a_voyager__1_1_2_5_2_3_1 n11_a_voyager__1_2->n11_a_voyager__1_2_1 n11_a_voyager__1_3_1 D;_nphd_ n11_a_voyager__1_3->n11_a_voyager__1_3_1 n11_a_voyager__1_3_2 PUNC n11_a_voyager__1_3->n11_a_voyager__1_3_2 n11_a_voyager__1_3_3 PRN n11_a_voyager__1_3->n11_a_voyager__1_3_3 n11_a_voyager__1_3_4 PUNC n11_a_voyager__1_3->n11_a_voyager__1_3_4 n11_a_voyager__1_3_1->n11_a_voyager__1_3_1_1 n11_a_voyager__1_3_2->n11_a_voyager__1_3_2_1 n11_a_voyager__1_3_3_1 ADJP n11_a_voyager__1_3_3->n11_a_voyager__1_3_3_1 n11_a_voyager__1_3_3_1_1 ADVP n11_a_voyager__1_3_3_1->n11_a_voyager__1_3_3_1_1 n11_a_voyager__1_3_3_1_2 ADJ n11_a_voyager__1_3_3_1->n11_a_voyager__1_3_3_1_2 n11_a_voyager__1_3_3_1_1_1 ADV n11_a_voyager__1_3_3_1_1->n11_a_voyager__1_3_3_1_1_1 n11_a_voyager__1_3_3_1_1_1->n11_a_voyager__1_3_3_1_1_1_1 n11_a_voyager__1_3_3_1_2->n11_a_voyager__1_3_3_1_2_1 n11_a_voyager__1_3_4->n11_a_voyager__1_3_4_1 n11_a_voyager__1_4->n11_a_voyager__1_4_1 n11_a_voyager__1_5_1 HV;_Tn_ n11_a_voyager__1_5->n11_a_voyager__1_5_1 n11_a_voyager__1_5_2 NP-OB1 n11_a_voyager__1_5->n11_a_voyager__1_5_2 n11_a_voyager__1_5_1->n11_a_voyager__1_5_1_1 n11_a_voyager__1_5_2_1 NLYR n11_a_voyager__1_5_2->n11_a_voyager__1_5_2_1 n11_a_voyager__1_5_2_1_1 NLYR n11_a_voyager__1_5_2_1->n11_a_voyager__1_5_2_1_1 n11_a_voyager__1_5_2_1_2 CONJP n11_a_voyager__1_5_2_1->n11_a_voyager__1_5_2_1_2 n11_a_voyager__1_5_2_1_1_1 IP-PPL n11_a_voyager__1_5_2_1_1->n11_a_voyager__1_5_2_1_1_1 n11_a_voyager__1_5_2_1_1_2 NS n11_a_voyager__1_5_2_1_1->n11_a_voyager__1_5_2_1_1_2 n11_a_voyager__1_5_2_1_1_1_1 NP-LGS n11_a_voyager__1_5_2_1_1_1->n11_a_voyager__1_5_2_1_1_1_1 n11_a_voyager__1_5_2_1_1_1_2 VVN;_Tn_ n11_a_voyager__1_5_2_1_1_1->n11_a_voyager__1_5_2_1_1_1_2 n11_a_voyager__1_5_2_1_1_1_1->n11_a_voyager__1_5_2_1_1_1_1_1 n11_a_voyager__1_5_2_1_1_1_2->n11_a_voyager__1_5_2_1_1_1_2_1 n11_a_voyager__1_5_2_1_1_2->n11_a_voyager__1_5_2_1_1_2_1 n11_a_voyager__1_5_2_1_2_1 CONJ n11_a_voyager__1_5_2_1_2->n11_a_voyager__1_5_2_1_2_1 n11_a_voyager__1_5_2_1_2_2 NLYR n11_a_voyager__1_5_2_1_2->n11_a_voyager__1_5_2_1_2_2 n11_a_voyager__1_5_2_1_2_1->n11_a_voyager__1_5_2_1_2_1_1 n11_a_voyager__1_5_2_1_2_2_1 ADJP n11_a_voyager__1_5_2_1_2_2->n11_a_voyager__1_5_2_1_2_2_1 n11_a_voyager__1_5_2_1_2_2_2 NS n11_a_voyager__1_5_2_1_2_2->n11_a_voyager__1_5_2_1_2_2_2 n11_a_voyager__1_5_2_1_2_2_1_1 ADJ n11_a_voyager__1_5_2_1_2_2_1->n11_a_voyager__1_5_2_1_2_2_1_1 n11_a_voyager__1_5_2_1_2_2_1_1->n11_a_voyager__1_5_2_1_2_2_1_1_1 n11_a_voyager__1_5_2_1_2_2_2->n11_a_voyager__1_5_2_1_2_2_2_1 n11_a_voyager__1_6->n11_a_voyager__1_6_1 
( (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})
                              (NLYR (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))


%3 r_0011_0023__civilizations civilizations r_0011_0022__spacefaring spacefaring r_0011_0023__civilizations->r_0011_0022__spacefaring [attrib] r_0011_0021__and and r_0011_0021__and->r_0011_0023__civilizations [conj2] r_0011_0020__planets planets r_0011_0021__and->r_0011_0020__planets [conj1] r_0011_0019__inhabited inhabited r_0011_0019__inhabited->r_0011_0020__planets [inv_arg1] z_0011_5008___star_ * r_0011_0019__inhabited->z_0011_5008___star_ [arg0] r_0011_0018__have have r_0011_0018__have->r_0011_0021__and [arg1] r_0011_0012__some some r_0011_0018__have->r_0011_0012__some [arg0] r_0011_0015__many many r_0011_0012__some->r_0011_0015__many [prn] r_0011_0017__may may r_0011_0017__may->r_0011_0018__have [scope] r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars the 200 billion stars r_0011_0017__may->r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars Of [nim] r_0011_0007__the_r_0011_0008__Milky_r_0011_0009__Way_r_0011_0010__galaxy the Milky Way galaxy 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 in r_0011_0014__perhaps perhaps r_0011_0015__many->r_0011_0014__perhaps [qual] 
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_0012__some,r_0011_0015__many,prn).
arc(r_0011_0015__many,r_0011_0014__perhaps,qual).
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__nim).
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,inv_arg1).
arc(r_0011_0019__inhabited,z_0011_5008___star_,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,attrib).


%3 r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars the 200 billion stars r_0011_0007__the_r_0011_0008__Milky_r_0011_0009__Way_r_0011_0010__galaxy the Milky Way galaxy 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 in r_0011_0012__some some r_0011_0015__many many r_0011_0012__some->r_0011_0015__many [prn] r_0011_0014__perhaps perhaps r_0011_0015__many->r_0011_0014__perhaps [qual] r_0011_0017__may_r_0011_0018__have may have r_0011_0017__may_r_0011_0018__have->r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars Of [nim] r_0011_0017__may_r_0011_0018__have->r_0011_0012__some [arg0] r_0011_0021__and and r_0011_0017__may_r_0011_0018__have->r_0011_0021__and [arg1] r_0011_0020__planets planets r_0011_0021__and->r_0011_0020__planets [conj1] r_0011_0023__civilizations civilizations r_0011_0021__and->r_0011_0023__civilizations [conj2] r_0011_0019__inhabited inhabited r_0011_0020__planets->r_0011_0019__inhabited [inv_arg1] z_0011_5008___star_ * r_0011_0019__inhabited->z_0011_5008___star_ [arg0] r_0011_0022__spacefaring spacefaring r_0011_0023__civilizations->r_0011_0022__spacefaring [attrib] 
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_0014__PERHAPS,R_0011_0015__MANY,R_0011_0012__SOME,Z_0011_5008___STAR_,R_0011_0019__INHABITED,R_0011_0020__PLANETS,R_0011_0022__SPACEFARING,R_0011_0023__CIVILIZATIONS,R_0011_0021__AND,R_0011_0017__MAY_R_0011_0018__HAVE] :
      ( 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_0014__perhaps(R_0011_0014__PERHAPS)
      & r_0011_0022__spacefaring(R_0011_0022__SPACEFARING)
      & z_0011_5008___star_(Z_0011_5008___STAR_)
      & 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_attrib(R_0011_0023__CIVILIZATIONS,R_0011_0022__SPACEFARING)
      & has_conj1(R_0011_0021__AND,R_0011_0020__PLANETS)
      & r_0011_0020__planets(R_0011_0020__PLANETS)
      & has_inv_arg1(R_0011_0020__PLANETS,R_0011_0019__INHABITED)
      & r_0011_0019__inhabited(R_0011_0019__INHABITED)
      & has_arg0(R_0011_0019__INHABITED,Z_0011_5008___STAR_)
      & has_arg0(R_0011_0017__MAY_R_0011_0018__HAVE,R_0011_0012__SOME)
      & r_0011_0012__some(R_0011_0012__SOME)
      & has_prn(R_0011_0012__SOME,R_0011_0015__MANY)
      & r_0011_0015__many(R_0011_0015__MANY)
      & has_qual(R_0011_0015__MANY,R_0011_0014__PERHAPS)
      & has_r_0011_0001__Of__nim(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) ) ).