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.

%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_0017__may may r_0011_0017__may->r_0011_0002__the_r_0011_0003__200_r_0011_0004__billion_r_0011_0005__stars Of [nim] r_0011_0018__have have r_0011_0017__may->r_0011_0018__have [scope] r_0011_0012__some some r_0011_0018__have->r_0011_0012__some [arg0] r_0011_0021__and and 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_0019__inhabited->r_0011_0020__planets [arg1] z_000_11_a_voyager_51 r_0011_0019__inhabited->z_000_11_a_voyager_51 [arg0] r_0011_0022__spacefaring spacefaring r_0011_0023__civilizations->r_0011_0022__spacefaring [attrib] 
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).


%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_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_0012__some some 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_0019__inhabited->r_0011_0020__planets [arg1] z_000_11_a_voyager_51 r_0011_0019__inhabited->z_000_11_a_voyager_51 [arg0] r_0011_0022__spacefaring spacefaring r_0011_0023__civilizations->r_0011_0022__spacefaring [attrib] 
fof(formula,axiom,
    ? [R_11_17_MAY_HAVE,R_11_12_SOME,R_11_21_AND,R_11_23_CIVILIZATIONS,R_11_22_SPACEFARING,R_11_2_THE_200_BILLION_STARS,R_11_7_THE_MILKY_WAY_GALAXY,R_11_19_INHABITED,Z_11_A_VOYAGER_51,R_11_20_PLANETS] :
      ( some(R_11_12_SOME)
      & spacefaring(R_11_22_SPACEFARING)
      & the_Milky_Way_galaxy(R_11_7_THE_MILKY_WAY_GALAXY)
      & planets(R_11_20_PLANETS)
      & may_have(R_11_17_MAY_HAVE,R_11_12_SOME,R_11_21_AND)
      & and(R_11_21_AND)
      & conj1(R_11_21_AND,R_11_20_PLANETS)
      & conj2(R_11_21_AND,R_11_23_CIVILIZATIONS)
      & civilizations(R_11_23_CIVILIZATIONS)
      & attrib61(R_11_23_CIVILIZATIONS,R_11_22_SPACEFARING)
      & of_nim5(R_11_17_MAY_HAVE,R_11_2_THE_200_BILLION_STARS)
      & the_200_billion_stars(R_11_2_THE_200_BILLION_STARS)
      & in(R_11_2_THE_200_BILLION_STARS,R_11_7_THE_MILKY_WAY_GALAXY)
      & inhabited(R_11_19_INHABITED,Z_11_A_VOYAGER_51,R_11_20_PLANETS) ) ).


n11_a_voyager n11_a_voyager_4 Of n11_a_voyager_7 the n11_a_voyager_9 200 n11_a_voyager_11 billion n11_a_voyager_13 stars n11_a_voyager_16 in n11_a_voyager_19 the n11_a_voyager_21 Milky n11_a_voyager_23 Way n11_a_voyager_25 galaxy n11_a_voyager_27 , n11_a_voyager_30 some n11_a_voyager_32 -- n11_a_voyager_37 perhaps n11_a_voyager_39 many n11_a_voyager_41 -- n11_a_voyager_43 may n11_a_voyager_46 have n11_a_voyager_52 * n11_a_voyager_54 inhabited n11_a_voyager_56 planets n11_a_voyager_59 and n11_a_voyager_63 spacefaring n11_a_voyager_65 civilizations n11_a_voyager_67 . n11_a_voyager_1 IP-MAT n11_a_voyager_2 PP-NIM n11_a_voyager_1->n11_a_voyager_2 n11_a_voyager_26 PUNC n11_a_voyager_1->n11_a_voyager_26 n11_a_voyager_28 NP-SBJ n11_a_voyager_1->n11_a_voyager_28 n11_a_voyager_42 MD;_cat_Vi_ n11_a_voyager_1->n11_a_voyager_42 n11_a_voyager_44 IP-INF-CAT n11_a_voyager_1->n11_a_voyager_44 n11_a_voyager_66 PUNC n11_a_voyager_1->n11_a_voyager_66 n11_a_voyager_3 P-ROLE n11_a_voyager_2->n11_a_voyager_3 n11_a_voyager_5 NP n11_a_voyager_2->n11_a_voyager_5 n11_a_voyager_3->n11_a_voyager_4 n11_a_voyager_6 D n11_a_voyager_5->n11_a_voyager_6 n11_a_voyager_8 NUM n11_a_voyager_5->n11_a_voyager_8 n11_a_voyager_10 N n11_a_voyager_5->n11_a_voyager_10 n11_a_voyager_12 NS n11_a_voyager_5->n11_a_voyager_12 n11_a_voyager_14 PP n11_a_voyager_5->n11_a_voyager_14 n11_a_voyager_6->n11_a_voyager_7 n11_a_voyager_8->n11_a_voyager_9 n11_a_voyager_10->n11_a_voyager_11 n11_a_voyager_12->n11_a_voyager_13 n11_a_voyager_15 P-ROLE n11_a_voyager_14->n11_a_voyager_15 n11_a_voyager_17 NP n11_a_voyager_14->n11_a_voyager_17 n11_a_voyager_15->n11_a_voyager_16 n11_a_voyager_18 D n11_a_voyager_17->n11_a_voyager_18 n11_a_voyager_20 NPR n11_a_voyager_17->n11_a_voyager_20 n11_a_voyager_22 NPR n11_a_voyager_17->n11_a_voyager_22 n11_a_voyager_24 N n11_a_voyager_17->n11_a_voyager_24 n11_a_voyager_18->n11_a_voyager_19 n11_a_voyager_20->n11_a_voyager_21 n11_a_voyager_22->n11_a_voyager_23 n11_a_voyager_24->n11_a_voyager_25 n11_a_voyager_26->n11_a_voyager_27 n11_a_voyager_29 D;_nphd_ n11_a_voyager_28->n11_a_voyager_29 n11_a_voyager_31 PUNC n11_a_voyager_28->n11_a_voyager_31 n11_a_voyager_33 PRN n11_a_voyager_28->n11_a_voyager_33 n11_a_voyager_40 PUNC n11_a_voyager_28->n11_a_voyager_40 n11_a_voyager_29->n11_a_voyager_30 n11_a_voyager_31->n11_a_voyager_32 n11_a_voyager_34 ADJP n11_a_voyager_33->n11_a_voyager_34 n11_a_voyager_35 ADVP n11_a_voyager_34->n11_a_voyager_35 n11_a_voyager_38 ADJ n11_a_voyager_34->n11_a_voyager_38 n11_a_voyager_36 ADV n11_a_voyager_35->n11_a_voyager_36 n11_a_voyager_36->n11_a_voyager_37 n11_a_voyager_38->n11_a_voyager_39 n11_a_voyager_40->n11_a_voyager_41 n11_a_voyager_42->n11_a_voyager_43 n11_a_voyager_45 HV;_Tn_ n11_a_voyager_44->n11_a_voyager_45 n11_a_voyager_47 NP-OB1 n11_a_voyager_44->n11_a_voyager_47 n11_a_voyager_45->n11_a_voyager_46 n11_a_voyager_48 NLYR n11_a_voyager_47->n11_a_voyager_48 n11_a_voyager_49 NLYR n11_a_voyager_48->n11_a_voyager_49 n11_a_voyager_57 CONJP n11_a_voyager_48->n11_a_voyager_57 n11_a_voyager_50 IP-PPL n11_a_voyager_49->n11_a_voyager_50 n11_a_voyager_55 NS n11_a_voyager_49->n11_a_voyager_55 n11_a_voyager_51 NP-LGS n11_a_voyager_50->n11_a_voyager_51 n11_a_voyager_53 VVN;_Tn_ n11_a_voyager_50->n11_a_voyager_53 n11_a_voyager_51->n11_a_voyager_52 n11_a_voyager_53->n11_a_voyager_54 n11_a_voyager_55->n11_a_voyager_56 n11_a_voyager_58 CONJ n11_a_voyager_57->n11_a_voyager_58 n11_a_voyager_60 NLYR n11_a_voyager_57->n11_a_voyager_60 n11_a_voyager_58->n11_a_voyager_59 n11_a_voyager_61 ADJP n11_a_voyager_60->n11_a_voyager_61 n11_a_voyager_64 NS n11_a_voyager_60->n11_a_voyager_64 n11_a_voyager_62 ADJ n11_a_voyager_61->n11_a_voyager_62 n11_a_voyager_62->n11_a_voyager_63 n11_a_voyager_64->n11_a_voyager_65 n11_a_voyager_66->n11_a_voyager_67 
( (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))