4_a_voyager
%3
r_0004_0001__Note__colon__r_0004_0004__has
Note : has
r_0004_0005__been
been
r_0004_0001__Note__colon__r_0004_0004__has->r_0004_0005__been
[scope]
r_0004_0006__placed
placed
r_0004_0005__been->r_0004_0006__placed
[scope]
r_0004_0002__The_r_0004_0003__statement
The statement
r_0004_0006__placed->r_0004_0002__The_r_0004_0003__statement
[arg1]
r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft
a National Aeronautics and Space Administration Voyager spacecraft
r_0004_0006__placed->r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft
in [clr]
z_000_4_a_voyager_15
r_0004_0006__placed->z_000_4_a_voyager_15
[arg0]
r_0004_0013__is
is
r_0004_0014__scheduled
scheduled
r_0004_0013__is->r_0004_0014__scheduled
[scope]
r_0004_0014__scheduled->r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft
[arg1]
r_0004_0015__to_r_0004_0016__be
to be
r_0004_0014__scheduled->r_0004_0015__to_r_0004_0016__be
[prd]
z_000_4_a_voyager_38
r_0004_0014__scheduled->z_000_4_a_voyager_38
[arg0]
r_0004_0017__launched
launched
r_0004_0015__to_r_0004_0016__be->r_0004_0017__launched
[scope]
r_0004_0018__August_r_0004_0019__20
August 20
r_0004_0017__launched->r_0004_0018__August_r_0004_0019__20
[nim]
x_000_4_a_voyager_42
__
r_0004_0017__launched->x_000_4_a_voyager_42
[arg1]
z_000_4_a_voyager_48
r_0004_0017__launched->z_000_4_a_voyager_48
[arg0]
arc(r_0004_0001__Note__colon__r_0004_0004__has, r_0004_0005__been, scope).
arc(r_0004_0005__been, r_0004_0006__placed, scope).
arc(r_0004_0006__placed, r_0004_0002__The_r_0004_0003__statement, arg1).
arc(r_0004_0006__placed, r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft, r_0004_0007__in_clr22).
arc(r_0004_0006__placed, z_000_4_a_voyager_15, arg0).
arc(r_0004_0013__is, r_0004_0014__scheduled, scope).
arc(r_0004_0014__scheduled, r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft, arg1).
arc(r_0004_0014__scheduled, r_0004_0015__to_r_0004_0016__be, prd).
arc(r_0004_0014__scheduled, z_000_4_a_voyager_38, arg0).
arc(r_0004_0015__to_r_0004_0016__be, r_0004_0017__launched, scope).
arc(r_0004_0017__launched, r_0004_0018__August_r_0004_0019__20, nim52).
arc(r_0004_0017__launched, x_000_4_a_voyager_42, arg1).
arc(r_0004_0017__launched, z_000_4_a_voyager_48, arg0).
%3
r_0004_0015__to_r_0004_0016__be_r_0004_0017__launched
to be launched
z_000_4_a_voyager_48
r_0004_0015__to_r_0004_0016__be_r_0004_0017__launched->z_000_4_a_voyager_48
[arg0]
x_000_4_a_voyager_42
__
r_0004_0015__to_r_0004_0016__be_r_0004_0017__launched->x_000_4_a_voyager_42
[arg1]
r_0004_0018__August_r_0004_0019__20
August 20
r_0004_0015__to_r_0004_0016__be_r_0004_0017__launched->r_0004_0018__August_r_0004_0019__20
[nim]
r_0004_0013__is_r_0004_0014__scheduled
is scheduled
r_0004_0013__is_r_0004_0014__scheduled->r_0004_0015__to_r_0004_0016__be_r_0004_0017__launched
[prd]
z_000_4_a_voyager_38
r_0004_0013__is_r_0004_0014__scheduled->z_000_4_a_voyager_38
[arg0]
r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft
a National Aeronautics and Space Administration Voyager spacecraft
r_0004_0013__is_r_0004_0014__scheduled->r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft
[arg1]
r_0004_0001__Note__colon__r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed
Note : has been placed
r_0004_0001__Note__colon__r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed->r_0004_0008__a_r_0004_0009__National_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft
in [clr]
z_000_4_a_voyager_15
r_0004_0001__Note__colon__r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed->z_000_4_a_voyager_15
[arg0]
r_0004_0002__The_r_0004_0003__statement
The statement
r_0004_0001__Note__colon__r_0004_0004__has_r_0004_0005__been_r_0004_0006__placed->r_0004_0002__The_r_0004_0003__statement
[arg1]
fof(formula,axiom,
? [R_0004_0002__THE_R_0004_0003__STATEMENT,R_0004_0008__A_R_0004_0009__NATIONAL_AERONAUTICS_AND_SPACE_ADMINISTRATION_R_0004_0010__VOYAGER_R_0004_0011__SPACECRAFT,Z_000_4_A_VOYAGER_15,R_0004_0001__NOTE__COLON__R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED,R_0004_0018__AUGUST_R_0004_0019__20,X_000_4_A_VOYAGER_42,Z_000_4_A_VOYAGER_48,R_0004_0015__TO_R_0004_0016__BE_R_0004_0017__LAUNCHED,Z_000_4_A_VOYAGER_38,R_0004_0013__IS_R_0004_0014__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_Aeronautics_and_Space_Administration_r_0004_0010__Voyager_r_0004_0011__spacecraft(R_0004_0008__A_R_0004_0009__NATIONAL_AERONAUTICS_AND_SPACE_ADMINISTRATION_R_0004_0010__VOYAGER_R_0004_0011__SPACECRAFT)
& r_0004_0018__August_r_0004_0019__20(R_0004_0018__AUGUST_R_0004_0019__20)
& x_000_4_a_voyager_42(X_000_4_A_VOYAGER_42)
& z_000_4_a_voyager_15(Z_000_4_A_VOYAGER_15)
& z_000_4_a_voyager_38(Z_000_4_A_VOYAGER_38)
& z_000_4_a_voyager_48(Z_000_4_A_VOYAGER_48)
& r_0004_0013__is_r_0004_0014__scheduled(R_0004_0013__IS_R_0004_0014__SCHEDULED)
& has_arg0(R_0004_0013__IS_R_0004_0014__SCHEDULED,Z_000_4_A_VOYAGER_38)
& has_prd(R_0004_0013__IS_R_0004_0014__SCHEDULED,R_0004_0015__TO_R_0004_0016__BE_R_0004_0017__LAUNCHED)
& r_0004_0015__to_r_0004_0016__be_r_0004_0017__launched(R_0004_0015__TO_R_0004_0016__BE_R_0004_0017__LAUNCHED)
& has_arg0(R_0004_0015__TO_R_0004_0016__BE_R_0004_0017__LAUNCHED,Z_000_4_A_VOYAGER_48)
& has_arg1(R_0004_0015__TO_R_0004_0016__BE_R_0004_0017__LAUNCHED,X_000_4_A_VOYAGER_42)
& has_nim52(R_0004_0015__TO_R_0004_0016__BE_R_0004_0017__LAUNCHED,R_0004_0018__AUGUST_R_0004_0019__20)
& has_arg1(R_0004_0013__IS_R_0004_0014__SCHEDULED,R_0004_0008__A_R_0004_0009__NATIONAL_AERONAUTICS_AND_SPACE_ADMINISTRATION_R_0004_0010__VOYAGER_R_0004_0011__SPACECRAFT)
& ~ ( has_arg0(R_0004_0001__NOTE__COLON__R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED,Z_000_4_A_VOYAGER_15)
& has_r_0004_0007__in_clr22(R_0004_0001__NOTE__COLON__R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED,R_0004_0008__A_R_0004_0009__NATIONAL_AERONAUTICS_AND_SPACE_ADMINISTRATION_R_0004_0010__VOYAGER_R_0004_0011__SPACECRAFT)
& has_arg1(R_0004_0001__NOTE__COLON__R_0004_0004__HAS_R_0004_0005__BEEN_R_0004_0006__PLACED,R_0004_0002__THE_R_0004_0003__STATEMENT) ) ) ).
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
National_Aeronautics_and_Space_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
NPR
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->n4_a_voyager__1_4_2_3_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})
(NPR National_Aeronautics_and_Space_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))