Context                Previous, Next                Top


4_a_voyager
Note : The statement has been placed in a National Aeronautics and Space Administration Voyager spacecraft which is scheduled to be launched August 20.

n4_a_voyager n4_a_voyager__1_1_1 Note_: n4_a_voyager__1_2_1_1 The n4_a_voyager__1_2_2_1 statement n4_a_voyager__1_3_1 has n4_a_voyager__1_4_1_1 been n4_a_voyager__1_4_2_1_1 * n4_a_voyager__1_4_2_2_1 placed n4_a_voyager__1_4_2_3_1_1 in n4_a_voyager__1_4_2_3_2_1_1 a n4_a_voyager__1_4_2_3_2_2_1_1_1_1_1 National n4_a_voyager__1_4_2_3_2_2_1_1_2_1 Aeronautics n4_a_voyager__1_4_2_3_2_2_1_2_1_1 and n4_a_voyager__1_4_2_3_2_2_1_2_2_1_1 Space n4_a_voyager__1_4_2_3_2_2_1_2_2_2_1 Administration n4_a_voyager__1_4_2_3_2_3_1 Voyager n4_a_voyager__1_4_2_3_2_4_1 spacecraft n4_a_voyager__1_4_2_3_2_5_1_1_1 which n4_a_voyager__1_4_2_3_2_5_2_1 is n4_a_voyager__1_4_2_3_2_5_3_1_1 * n4_a_voyager__1_4_2_3_2_5_3_2_1 scheduled n4_a_voyager__1_4_2_3_2_5_3_3_1_1 to n4_a_voyager__1_4_2_3_2_5_3_3_2_1 be n4_a_voyager__1_4_2_3_2_5_3_3_3_1_1 * n4_a_voyager__1_4_2_3_2_5_3_3_3_2_1 launched n4_a_voyager__1_4_2_3_2_5_3_3_3_3_1_1 August n4_a_voyager__1_4_2_3_2_5_3_3_3_3_2_1 20 n4_a_voyager__1_5_1 . n4_a_voyager__1 IP-MAT n4_a_voyager__1_1 FRM n4_a_voyager__1->n4_a_voyager__1_1 n4_a_voyager__1_2 NP-SBJ n4_a_voyager__1->n4_a_voyager__1_2 n4_a_voyager__1_3 HVP;_cat_Ve_ n4_a_voyager__1->n4_a_voyager__1_3 n4_a_voyager__1_4 IP-PPL-CAT n4_a_voyager__1->n4_a_voyager__1_4 n4_a_voyager__1_5 PUNC n4_a_voyager__1->n4_a_voyager__1_5 n4_a_voyager__1_1->n4_a_voyager__1_1_1 n4_a_voyager__1_2_1 D n4_a_voyager__1_2->n4_a_voyager__1_2_1 n4_a_voyager__1_2_2 N n4_a_voyager__1_2->n4_a_voyager__1_2_2 n4_a_voyager__1_2_1->n4_a_voyager__1_2_1_1 n4_a_voyager__1_2_2->n4_a_voyager__1_2_2_1 n4_a_voyager__1_3->n4_a_voyager__1_3_1 n4_a_voyager__1_4_1 BEN;_cat_VePASS_ n4_a_voyager__1_4->n4_a_voyager__1_4_1 n4_a_voyager__1_4_2 IP-PPL-CAT n4_a_voyager__1_4->n4_a_voyager__1_4_2 n4_a_voyager__1_4_1->n4_a_voyager__1_4_1_1 n4_a_voyager__1_4_2_1 NP-LGS n4_a_voyager__1_4_2->n4_a_voyager__1_4_2_1 n4_a_voyager__1_4_2_2 VVN;_Tn.pr_ n4_a_voyager__1_4_2->n4_a_voyager__1_4_2_2 n4_a_voyager__1_4_2_3 PP-CLR n4_a_voyager__1_4_2->n4_a_voyager__1_4_2_3 n4_a_voyager__1_4_2_1->n4_a_voyager__1_4_2_1_1 n4_a_voyager__1_4_2_2->n4_a_voyager__1_4_2_2_1 n4_a_voyager__1_4_2_3_1 P-ROLE n4_a_voyager__1_4_2_3->n4_a_voyager__1_4_2_3_1 n4_a_voyager__1_4_2_3_2 NP n4_a_voyager__1_4_2_3->n4_a_voyager__1_4_2_3_2 n4_a_voyager__1_4_2_3_1->n4_a_voyager__1_4_2_3_1_1 n4_a_voyager__1_4_2_3_2_1 D n4_a_voyager__1_4_2_3_2->n4_a_voyager__1_4_2_3_2_1 n4_a_voyager__1_4_2_3_2_2 NLYR n4_a_voyager__1_4_2_3_2->n4_a_voyager__1_4_2_3_2_2 n4_a_voyager__1_4_2_3_2_3 NPR n4_a_voyager__1_4_2_3_2->n4_a_voyager__1_4_2_3_2_3 n4_a_voyager__1_4_2_3_2_4 N n4_a_voyager__1_4_2_3_2->n4_a_voyager__1_4_2_3_2_4 n4_a_voyager__1_4_2_3_2_5 IP-REL n4_a_voyager__1_4_2_3_2->n4_a_voyager__1_4_2_3_2_5 n4_a_voyager__1_4_2_3_2_1->n4_a_voyager__1_4_2_3_2_1_1 n4_a_voyager__1_4_2_3_2_2_1 NLYR n4_a_voyager__1_4_2_3_2_2->n4_a_voyager__1_4_2_3_2_2_1 n4_a_voyager__1_4_2_3_2_2_1_1 NLYR n4_a_voyager__1_4_2_3_2_2_1->n4_a_voyager__1_4_2_3_2_2_1_1 n4_a_voyager__1_4_2_3_2_2_1_2 CONJP n4_a_voyager__1_4_2_3_2_2_1->n4_a_voyager__1_4_2_3_2_2_1_2 n4_a_voyager__1_4_2_3_2_2_1_1_1 ADJP n4_a_voyager__1_4_2_3_2_2_1_1->n4_a_voyager__1_4_2_3_2_2_1_1_1 n4_a_voyager__1_4_2_3_2_2_1_1_2 NS n4_a_voyager__1_4_2_3_2_2_1_1->n4_a_voyager__1_4_2_3_2_2_1_1_2 n4_a_voyager__1_4_2_3_2_2_1_1_1_1 ADJ n4_a_voyager__1_4_2_3_2_2_1_1_1->n4_a_voyager__1_4_2_3_2_2_1_1_1_1 n4_a_voyager__1_4_2_3_2_2_1_1_1_1->n4_a_voyager__1_4_2_3_2_2_1_1_1_1_1 n4_a_voyager__1_4_2_3_2_2_1_1_2->n4_a_voyager__1_4_2_3_2_2_1_1_2_1 n4_a_voyager__1_4_2_3_2_2_1_2_1 CONJ n4_a_voyager__1_4_2_3_2_2_1_2->n4_a_voyager__1_4_2_3_2_2_1_2_1 n4_a_voyager__1_4_2_3_2_2_1_2_2 NLYR n4_a_voyager__1_4_2_3_2_2_1_2->n4_a_voyager__1_4_2_3_2_2_1_2_2 n4_a_voyager__1_4_2_3_2_2_1_2_1->n4_a_voyager__1_4_2_3_2_2_1_2_1_1 n4_a_voyager__1_4_2_3_2_2_1_2_2_1 N n4_a_voyager__1_4_2_3_2_2_1_2_2->n4_a_voyager__1_4_2_3_2_2_1_2_2_1 n4_a_voyager__1_4_2_3_2_2_1_2_2_2 N n4_a_voyager__1_4_2_3_2_2_1_2_2->n4_a_voyager__1_4_2_3_2_2_1_2_2_2 n4_a_voyager__1_4_2_3_2_2_1_2_2_1->n4_a_voyager__1_4_2_3_2_2_1_2_2_1_1 n4_a_voyager__1_4_2_3_2_2_1_2_2_2->n4_a_voyager__1_4_2_3_2_2_1_2_2_2_1 n4_a_voyager__1_4_2_3_2_3->n4_a_voyager__1_4_2_3_2_3_1 n4_a_voyager__1_4_2_3_2_4->n4_a_voyager__1_4_2_3_2_4_1 n4_a_voyager__1_4_2_3_2_5_1 NP-SBJ n4_a_voyager__1_4_2_3_2_5->n4_a_voyager__1_4_2_3_2_5_1 n4_a_voyager__1_4_2_3_2_5_2 BEP;_cat_VePASS_ n4_a_voyager__1_4_2_3_2_5->n4_a_voyager__1_4_2_3_2_5_2 n4_a_voyager__1_4_2_3_2_5_3 IP-PPL-CAT n4_a_voyager__1_4_2_3_2_5->n4_a_voyager__1_4_2_3_2_5_3 n4_a_voyager__1_4_2_3_2_5_1_1 RPRO n4_a_voyager__1_4_2_3_2_5_1->n4_a_voyager__1_4_2_3_2_5_1_1 n4_a_voyager__1_4_2_3_2_5_1_1->n4_a_voyager__1_4_2_3_2_5_1_1_1 n4_a_voyager__1_4_2_3_2_5_2->n4_a_voyager__1_4_2_3_2_5_2_1 n4_a_voyager__1_4_2_3_2_5_3_1 NP-LGS n4_a_voyager__1_4_2_3_2_5_3->n4_a_voyager__1_4_2_3_2_5_3_1 n4_a_voyager__1_4_2_3_2_5_3_2 VVN;_Cn.t_ n4_a_voyager__1_4_2_3_2_5_3->n4_a_voyager__1_4_2_3_2_5_3_2 n4_a_voyager__1_4_2_3_2_5_3_3 IP-INF-PRD n4_a_voyager__1_4_2_3_2_5_3->n4_a_voyager__1_4_2_3_2_5_3_3 n4_a_voyager__1_4_2_3_2_5_3_1->n4_a_voyager__1_4_2_3_2_5_3_1_1 n4_a_voyager__1_4_2_3_2_5_3_2->n4_a_voyager__1_4_2_3_2_5_3_2_1 n4_a_voyager__1_4_2_3_2_5_3_3_1 TO n4_a_voyager__1_4_2_3_2_5_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_1 n4_a_voyager__1_4_2_3_2_5_3_3_2 BE;_cat_VePASS_ n4_a_voyager__1_4_2_3_2_5_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_2 n4_a_voyager__1_4_2_3_2_5_3_3_3 IP-PPL-CAT n4_a_voyager__1_4_2_3_2_5_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_3 n4_a_voyager__1_4_2_3_2_5_3_3_1->n4_a_voyager__1_4_2_3_2_5_3_3_1_1 n4_a_voyager__1_4_2_3_2_5_3_3_2->n4_a_voyager__1_4_2_3_2_5_3_3_2_1 n4_a_voyager__1_4_2_3_2_5_3_3_3_1 NP-LGS n4_a_voyager__1_4_2_3_2_5_3_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_3_1 n4_a_voyager__1_4_2_3_2_5_3_3_3_2 VVN;_Tn_ n4_a_voyager__1_4_2_3_2_5_3_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_3_2 n4_a_voyager__1_4_2_3_2_5_3_3_3_3 NP-NIM n4_a_voyager__1_4_2_3_2_5_3_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_3_3 n4_a_voyager__1_4_2_3_2_5_3_3_3_1->n4_a_voyager__1_4_2_3_2_5_3_3_3_1_1 n4_a_voyager__1_4_2_3_2_5_3_3_3_2->n4_a_voyager__1_4_2_3_2_5_3_3_3_2_1 n4_a_voyager__1_4_2_3_2_5_3_3_3_3_1 NPR n4_a_voyager__1_4_2_3_2_5_3_3_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_3_3_1 n4_a_voyager__1_4_2_3_2_5_3_3_3_3_2 NPR n4_a_voyager__1_4_2_3_2_5_3_3_3_3->n4_a_voyager__1_4_2_3_2_5_3_3_3_3_2 n4_a_voyager__1_4_2_3_2_5_3_3_3_3_1->n4_a_voyager__1_4_2_3_2_5_3_3_3_3_1_1 n4_a_voyager__1_4_2_3_2_5_3_3_3_3_2->n4_a_voyager__1_4_2_3_2_5_3_3_3_3_2_1 n4_a_voyager__1_5->n4_a_voyager__1_5_1 
( (IP-MAT (FRM Note_:)
          (NP-SBJ (D The;{the})
                  (N statement;{statement}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ placed;{place[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (D a;{a})
                                              (NLYR (NLYR (NLYR (ADJP (ADJ National;{national}))
                                                                (NS Aeronautics;{aeronautics}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (N Space;{space})
                                                                       (N Administration;{administration})))))
                                              (NPR Voyager;{Voyager})
                                              (N spacecraft;{spacecraft})
                                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                                      (BEP;_cat_VePASS_ is;{be})
                                                      (IP-PPL-CAT (NP-LGS *)
                                                                  (VVN;_Cn.t_ scheduled;{schedule})
                                                                  (IP-INF-PRD (TO to;{to})
                                                                              (BE;_cat_VePASS_ be;{be})
                                                                              (IP-PPL-CAT (NP-LGS *)
                                                                                          (VVN;_Tn_ launched;{launch})
                                                                                          (NP-NIM (NPR August;{August})
                                                                                                  (NPR 20))))))))))
          (PUNC .))
  (ID 4_a_voyager))


%3 r_0004_0021__launched launched z_0004_5010___star_ * r_0004_0021__launched->z_0004_5010___star_ [arg0] z_0004_5008 r_0004_0021__launched->z_0004_5008 [arg1] r_0004_0022__August_r_0004_0023__20 August 20 r_0004_0021__launched->r_0004_0022__August_r_0004_0023__20 [nim] r_0004_0020__be be r_0004_0020__be->r_0004_0021__launched [scope] r_0004_0018__scheduled scheduled r_0004_0018__scheduled->r_0004_0020__be [prd] z_0004_5013___star_ * r_0004_0018__scheduled->z_0004_5013___star_ [arg0] r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft a National Aeronautics and Space Administration Voyager spacecraft r_0004_0018__scheduled->r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft [arg1] r_0004_0017__is is r_0004_0017__is->r_0004_0018__scheduled [scope] r_0004_0006__placed_r_0004_0007__in placed in r_0004_0006__placed_r_0004_0007__in->r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft [arg2] z_0004_5016___star_ * r_0004_0006__placed_r_0004_0007__in->z_0004_5016___star_ [arg0] r_0004_0002__The_r_0004_0003__statement The statement r_0004_0006__placed_r_0004_0007__in->r_0004_0002__The_r_0004_0003__statement [arg1] r_0004_0005__been been r_0004_0005__been->r_0004_0006__placed_r_0004_0007__in [scope] r_0004_0004__has has r_0004_0004__has->r_0004_0005__been [scope] 
arc(r_0004_0004__has,r_0004_0005__been,scope).
arc(r_0004_0005__been,r_0004_0006__placed_r_0004_0007__in,scope).
arc(r_0004_0006__placed_r_0004_0007__in,r_0004_0002__The_r_0004_0003__statement,arg1).
arc(r_0004_0006__placed_r_0004_0007__in,r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft,arg2).
arc(r_0004_0006__placed_r_0004_0007__in,z_0004_5016___star_,arg0).
arc(r_0004_0017__is,r_0004_0018__scheduled,scope).
arc(r_0004_0018__scheduled,r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft,arg1).
arc(r_0004_0018__scheduled,r_0004_0020__be,prd).
arc(r_0004_0018__scheduled,z_0004_5013___star_,arg0).
arc(r_0004_0020__be,r_0004_0021__launched,scope).
arc(r_0004_0021__launched,r_0004_0022__August_r_0004_0023__20,nim).
arc(r_0004_0021__launched,z_0004_5008,arg1).
arc(r_0004_0021__launched,z_0004_5010___star_,arg0).


%3 r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed_r_0004_0007__in has been placed in r_0004_0002__The_r_0004_0003__statement The statement r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed_r_0004_0007__in->r_0004_0002__The_r_0004_0003__statement [arg1] r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft a National Aeronautics and Space Administration Voyager spacecraft r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed_r_0004_0007__in->r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft [arg2] z_0004_5016___star_ * r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed_r_0004_0007__in->z_0004_5016___star_ [arg0] r_0004_0017__is_r_0004_0018__scheduled is scheduled r_0004_0017__is_r_0004_0018__scheduled->r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft [arg1] r_0004_0020__be_r_0004_0021__launched be launched r_0004_0017__is_r_0004_0018__scheduled->r_0004_0020__be_r_0004_0021__launched [prd] z_0004_5013___star_ * r_0004_0017__is_r_0004_0018__scheduled->z_0004_5013___star_ [arg0] r_0004_0022__August_r_0004_0023__20 August 20 r_0004_0020__be_r_0004_0021__launched->r_0004_0022__August_r_0004_0023__20 [nim] z_0004_5008 r_0004_0020__be_r_0004_0021__launched->z_0004_5008 [arg1] z_0004_5010___star_ * r_0004_0020__be_r_0004_0021__launched->z_0004_5010___star_ [arg0] 
fof(formula,axiom,
    ? [R_0004_0002__THE_R_0004_0003__STATEMENT,R_0004_0008__A_R_0004_0009__NATIONAL_R_0004_0010__AERONAUTICS_R_0004_0011__AND_R_0004_0012__SPACE_R_0004_0013__ADMINISTRATION_R_0004_0014__VOYAGER_R_0004_0015__SPACECRAFT,Z_0004_5016___STAR_,R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED_R_0004_0007__IN,R_0004_0022__AUGUST_R_0004_0023__20,Z_0004_5008,Z_0004_5010___STAR_,R_0004_0020__BE_R_0004_0021__LAUNCHED,Z_0004_5013___STAR_,R_0004_0017__IS_R_0004_0018__SCHEDULED] :
      ( r_0004_0002__The_r_0004_0003__statement(R_0004_0002__THE_R_0004_0003__STATEMENT)
      & r_0004_0008__a_r_0004_0009__National_r_0004_0010__Aeronautics_r_0004_0011__and_r_0004_0012__Space_r_0004_0013__Administration_r_0004_0014__Voyager_r_0004_0015__spacecraft(R_0004_0008__A_R_0004_0009__NATIONAL_R_0004_0010__AERONAUTICS_R_0004_0011__AND_R_0004_0012__SPACE_R_0004_0013__ADMINISTRATION_R_0004_0014__VOYAGER_R_0004_0015__SPACECRAFT)
      & r_0004_0022__August_r_0004_0023__20(R_0004_0022__AUGUST_R_0004_0023__20)
      & z_0004_5008(Z_0004_5008)
      & z_0004_5010___star_(Z_0004_5010___STAR_)
      & z_0004_5013___star_(Z_0004_5013___STAR_)
      & z_0004_5016___star_(Z_0004_5016___STAR_)
      & r_0004_0017__is_r_0004_0018__scheduled(R_0004_0017__IS_R_0004_0018__SCHEDULED)
      & has_arg0(R_0004_0017__IS_R_0004_0018__SCHEDULED,Z_0004_5013___STAR_)
      & has_prd(R_0004_0017__IS_R_0004_0018__SCHEDULED,R_0004_0020__BE_R_0004_0021__LAUNCHED)
      & r_0004_0020__be_r_0004_0021__launched(R_0004_0020__BE_R_0004_0021__LAUNCHED)
      & has_arg0(R_0004_0020__BE_R_0004_0021__LAUNCHED,Z_0004_5010___STAR_)
      & has_arg1(R_0004_0020__BE_R_0004_0021__LAUNCHED,Z_0004_5008)
      & has_nim(R_0004_0020__BE_R_0004_0021__LAUNCHED,R_0004_0022__AUGUST_R_0004_0023__20)
      & has_arg1(R_0004_0017__IS_R_0004_0018__SCHEDULED,R_0004_0008__A_R_0004_0009__NATIONAL_R_0004_0010__AERONAUTICS_R_0004_0011__AND_R_0004_0012__SPACE_R_0004_0013__ADMINISTRATION_R_0004_0014__VOYAGER_R_0004_0015__SPACECRAFT)
      & r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed_r_0004_0007__in(R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED_R_0004_0007__IN)
      & has_arg0(R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED_R_0004_0007__IN,Z_0004_5016___STAR_)
      & has_arg2(R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED_R_0004_0007__IN,R_0004_0008__A_R_0004_0009__NATIONAL_R_0004_0010__AERONAUTICS_R_0004_0011__AND_R_0004_0012__SPACE_R_0004_0013__ADMINISTRATION_R_0004_0014__VOYAGER_R_0004_0015__SPACECRAFT)
      & has_arg1(R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED_R_0004_0007__IN,R_0004_0002__THE_R_0004_0003__STATEMENT) ) ).