6_a_planetoid
%3
r_0006_0001__As
As
r_0006_0004__ascends
ascends
r_0006_0001__As->r_0006_0004__ascends
[restriction]
r_0006_0012__can
can
r_0006_0001__As->r_0006_0012__can
[scope]
r_0006_0002__a_r_0006_0003__raider
a raider
r_0006_0004__ascends->r_0006_0002__a_r_0006_0003__raider
[arg0]
r_0006_0006__a_r_0006_0007__life_r_0006_0009__form
a life form
r_0006_0004__ascends->r_0006_0006__a_r_0006_0007__life_r_0006_0009__form
with [nim]
r_0006_0019__or
or
r_0006_0012__can->r_0006_0019__or
[scope]
r_0006_0013__destroy
destroy
r_0006_0019__or->r_0006_0013__destroy
[conj1]
z_000_6_a_planetoid_54
r_0006_0019__or->z_000_6_a_planetoid_54
[conj2]
r_0006_0013__destroy->r_0006_0002__a_r_0006_0003__raider
[arg1]
r_0006_0011__you
you
r_0006_0013__destroy->r_0006_0011__you
[arg0]
r_0006_0017__lasers
lasers
r_0006_0013__destroy->r_0006_0017__lasers
with [nim]
r_0006_0017__lasers->r_0006_0011__you
[gen]
z_000_6_a_planetoid_54->r_0006_0011__you
[arg0]
r_0006_0021__the_r_0006_0024__bombs
the bombs
z_000_6_a_planetoid_54->r_0006_0021__the_r_0006_0024__bombs
with [nim]
r_0006_0023__smart
smart
r_0006_0021__the_r_0006_0024__bombs->r_0006_0023__smart
[attrib]
r_0006_0027__disintegrate
disintegrate
r_0006_0027__disintegrate->r_0006_0021__the_r_0006_0024__bombs
[arg0]
z_000_6_a_planetoid_76
r_0006_0027__disintegrate->z_000_6_a_planetoid_76
[arg1]
r_0006_0029__hostile
hostile
z_000_6_a_planetoid_76->r_0006_0029__hostile
[attrib]
r_0006_0031__sight
sight
z_000_6_a_planetoid_76->r_0006_0031__sight
within
r_0006_0028__everything_quant
everything [quant]
r_0006_0028__everything_quant->r_0006_0027__disintegrate
[scope]
r_0006_0028__everything_quant->z_000_6_a_planetoid_76
[restriction]
arc(r_0006_0001__As, r_0006_0004__ascends, restriction).
arc(r_0006_0001__As, r_0006_0012__can, scope).
arc(r_0006_0004__ascends, r_0006_0002__a_r_0006_0003__raider, arg0).
arc(r_0006_0004__ascends, r_0006_0006__a_r_0006_0007__life_r_0006_0009__form, r_0006_0005__with_nim16).
arc(r_0006_0012__can, r_0006_0019__or, scope).
arc(r_0006_0013__destroy, r_0006_0002__a_r_0006_0003__raider, arg1).
arc(r_0006_0013__destroy, r_0006_0011__you, arg0).
arc(r_0006_0013__destroy, r_0006_0017__lasers, r_0006_0015__with_nim43).
arc(r_0006_0017__lasers, r_0006_0011__you, gen).
arc(r_0006_0019__or, r_0006_0013__destroy, conj1).
arc(r_0006_0019__or, z_000_6_a_planetoid_54, conj2).
arc(r_0006_0021__the_r_0006_0024__bombs, r_0006_0023__smart, attrib63).
arc(r_0006_0027__disintegrate, r_0006_0021__the_r_0006_0024__bombs, arg0).
arc(r_0006_0027__disintegrate, z_000_6_a_planetoid_76, arg1).
arc(r_0006_0028__everything_quant, r_0006_0027__disintegrate, scope).
arc(r_0006_0028__everything_quant, z_000_6_a_planetoid_76, restriction).
arc(z_000_6_a_planetoid_54, r_0006_0011__you, arg0).
arc(z_000_6_a_planetoid_54, r_0006_0021__the_r_0006_0024__bombs, r_0006_0020__with_nim58).
arc(z_000_6_a_planetoid_76, r_0006_0029__hostile, attrib79).
arc(z_000_6_a_planetoid_76, r_0006_0031__sight, r_0006_0030__within).
%3
r_0006_0001__As
As
r_0006_0004__ascends
ascends
r_0006_0001__As->r_0006_0004__ascends
[conj1]
r_0006_0012__can
can
r_0006_0001__As->r_0006_0012__can
[conj2]
r_0006_0002__a_r_0006_0003__raider
a raider
r_0006_0004__ascends->r_0006_0002__a_r_0006_0003__raider
[arg0]
r_0006_0006__a_r_0006_0007__life_r_0006_0009__form
a life form
r_0006_0004__ascends->r_0006_0006__a_r_0006_0007__life_r_0006_0009__form
with [nim]
r_0006_0019__or
or
r_0006_0012__can->r_0006_0019__or
[keep_scope]
r_0006_0013__destroy
destroy
r_0006_0019__or->r_0006_0013__destroy
[conj1]
z_000_6_a_planetoid_54
r_0006_0019__or->z_000_6_a_planetoid_54
[conj2]
r_0006_0013__destroy->r_0006_0002__a_r_0006_0003__raider
[arg1]
r_0006_0011__you
you
r_0006_0013__destroy->r_0006_0011__you
[arg0]
r_0006_0017__lasers
lasers
r_0006_0013__destroy->r_0006_0017__lasers
with [nim]
r_0006_0017__lasers->r_0006_0011__you
[gen]
z_000_6_a_planetoid_54->r_0006_0011__you
[arg0]
r_0006_0021__the_r_0006_0024__bombs
the bombs
z_000_6_a_planetoid_54->r_0006_0021__the_r_0006_0024__bombs
with [nim]
r_0006_0023__smart
smart
r_0006_0021__the_r_0006_0024__bombs->r_0006_0023__smart
[attrib]
r_0006_0027__disintegrate
disintegrate
r_0006_0027__disintegrate->r_0006_0021__the_r_0006_0024__bombs
[arg0]
z_000_6_a_planetoid_76
r_0006_0027__disintegrate->z_000_6_a_planetoid_76
[arg1]
r_0006_0029__hostile
hostile
z_000_6_a_planetoid_76->r_0006_0029__hostile
[attrib]
r_0006_0031__sight
sight
z_000_6_a_planetoid_76->r_0006_0031__sight
within
r_0006_0028__everything_quant
everything [quant]
r_0006_0028__everything_quant->r_0006_0027__disintegrate
[scope]
r_0006_0028__everything_quant->z_000_6_a_planetoid_76
[restriction]
fof(formula,axiom,
? [R_6_1_AS,R_6_4_ASCENDS,R_6_2_A_RAIDER,R_6_6_A_LIFE_FORM] :
( a_raider(R_6_2_A_RAIDER)
& a_life_form(R_6_6_A_LIFE_FORM)
& as(R_6_1_AS)
& conj1(R_6_1_AS,R_6_4_ASCENDS)
& ascends(R_6_4_ASCENDS,R_6_2_A_RAIDER)
& with_nim16(R_6_4_ASCENDS,R_6_6_A_LIFE_FORM)
& conj2(R_6_1_AS,R_6_12_CAN)
& ~ ? [R_6_19_OR,R_6_13_DESTROY,R_6_17_LASERS,Z_6_A_PLANETOID_54,R_6_11_YOU,R_6_21_THE_BOMBS,R_6_23_SMART] :
( you(R_6_11_YOU)
& smart(R_6_23_SMART)
& or(R_6_19_OR)
& conj1(R_6_19_OR,R_6_13_DESTROY)
& destroy(R_6_13_DESTROY,R_6_11_YOU,R_6_2_A_RAIDER)
& with_nim43(R_6_13_DESTROY,R_6_17_LASERS)
& lasers(R_6_17_LASERS)
& gen(R_6_17_LASERS,R_6_11_YOU)
& conj2(R_6_19_OR,Z_6_A_PLANETOID_54)
& z_6_a_planetoid_54(Z_6_A_PLANETOID_54,R_6_11_YOU)
& with_nim58(Z_6_A_PLANETOID_54,R_6_21_THE_BOMBS)
& the_bombs(R_6_21_THE_BOMBS)
& attrib63(R_6_21_THE_BOMBS,R_6_23_SMART) )
& ! [Z_6_A_PLANETOID_76,R_6_29_HOSTILE,R_6_31_SIGHT] :
( ( hostile(R_6_29_HOSTILE)
& sight(R_6_31_SIGHT)
& z_6_a_planetoid_76(Z_6_A_PLANETOID_76)
& attrib79(Z_6_A_PLANETOID_76,R_6_29_HOSTILE)
& within(Z_6_A_PLANETOID_76,R_6_31_SIGHT) )
=> ? [R_6_27_DISINTEGRATE,R_6_21_THE_BOMBS,R_6_23_SMART] :
( smart(R_6_23_SMART)
& disintegrate(R_6_27_DISINTEGRATE,R_6_21_THE_BOMBS,Z_6_A_PLANETOID_76)
& the_bombs(R_6_21_THE_BOMBS)
& attrib63(R_6_21_THE_BOMBS,R_6_23_SMART) ) ) ) ).
n6_a_planetoid
n6_a_planetoid_4
As
n6_a_planetoid_8
a
n6_a_planetoid_10
raider
n6_a_planetoid_12
ascends
n6_a_planetoid_15
with
n6_a_planetoid_18
a
n6_a_planetoid_20
life
n6_a_planetoid_22
-
n6_a_planetoid_24
form
n6_a_planetoid_26
,
n6_a_planetoid_29
you
n6_a_planetoid_31
can
n6_a_planetoid_36
destroy
n6_a_planetoid_39
it
n6_a_planetoid_42
with
n6_a_planetoid_46
your
n6_a_planetoid_48
lasers
n6_a_planetoid_50
,
n6_a_planetoid_53
or
n6_a_planetoid_57
with
n6_a_planetoid_60
the
n6_a_planetoid_62
<lsquo>
n6_a_planetoid_65
smart
n6_a_planetoid_67
bombs
n6_a_planetoid_69
<rsquo>
n6_a_planetoid_73
which
n6_a_planetoid_75
disintegrate
n6_a_planetoid_78
everything
n6_a_planetoid_81
hostile
n6_a_planetoid_84
within
n6_a_planetoid_87
sight
n6_a_planetoid_89
.
n6_a_planetoid_1
IP-MAT
n6_a_planetoid_2
PP-SCON
n6_a_planetoid_1->n6_a_planetoid_2
n6_a_planetoid_25
PUNC
n6_a_planetoid_1->n6_a_planetoid_25
n6_a_planetoid_27
NP-SBJ
n6_a_planetoid_1->n6_a_planetoid_27
n6_a_planetoid_30
MD;_cat_Vi_
n6_a_planetoid_1->n6_a_planetoid_30
n6_a_planetoid_32
IP-INF-CAT
n6_a_planetoid_1->n6_a_planetoid_32
n6_a_planetoid_88
PUNC
n6_a_planetoid_1->n6_a_planetoid_88
n6_a_planetoid_3
P-CONN
n6_a_planetoid_2->n6_a_planetoid_3
n6_a_planetoid_5
IP-ADV
n6_a_planetoid_2->n6_a_planetoid_5
n6_a_planetoid_3->n6_a_planetoid_4
n6_a_planetoid_6
NP-SBJ
n6_a_planetoid_5->n6_a_planetoid_6
n6_a_planetoid_11
VBP;_I_
n6_a_planetoid_5->n6_a_planetoid_11
n6_a_planetoid_13
PP-NIM
n6_a_planetoid_5->n6_a_planetoid_13
n6_a_planetoid_7
D
n6_a_planetoid_6->n6_a_planetoid_7
n6_a_planetoid_9
N
n6_a_planetoid_6->n6_a_planetoid_9
n6_a_planetoid_7->n6_a_planetoid_8
n6_a_planetoid_9->n6_a_planetoid_10
n6_a_planetoid_11->n6_a_planetoid_12
n6_a_planetoid_14
P-ROLE
n6_a_planetoid_13->n6_a_planetoid_14
n6_a_planetoid_16
NP
n6_a_planetoid_13->n6_a_planetoid_16
n6_a_planetoid_14->n6_a_planetoid_15
n6_a_planetoid_17
D
n6_a_planetoid_16->n6_a_planetoid_17
n6_a_planetoid_19
N
n6_a_planetoid_16->n6_a_planetoid_19
n6_a_planetoid_21
PUNC
n6_a_planetoid_16->n6_a_planetoid_21
n6_a_planetoid_23
N
n6_a_planetoid_16->n6_a_planetoid_23
n6_a_planetoid_17->n6_a_planetoid_18
n6_a_planetoid_19->n6_a_planetoid_20
n6_a_planetoid_21->n6_a_planetoid_22
n6_a_planetoid_23->n6_a_planetoid_24
n6_a_planetoid_25->n6_a_planetoid_26
n6_a_planetoid_28
PRO
n6_a_planetoid_27->n6_a_planetoid_28
n6_a_planetoid_28->n6_a_planetoid_29
n6_a_planetoid_30->n6_a_planetoid_31
n6_a_planetoid_33
ILYR
n6_a_planetoid_32->n6_a_planetoid_33
n6_a_planetoid_34
ILYR
n6_a_planetoid_33->n6_a_planetoid_34
n6_a_planetoid_49
PUNC
n6_a_planetoid_33->n6_a_planetoid_49
n6_a_planetoid_51
CONJP
n6_a_planetoid_33->n6_a_planetoid_51
n6_a_planetoid_35
VB;_Tn_
n6_a_planetoid_34->n6_a_planetoid_35
n6_a_planetoid_37
NP-OB1
n6_a_planetoid_34->n6_a_planetoid_37
n6_a_planetoid_40
PP-NIM
n6_a_planetoid_34->n6_a_planetoid_40
n6_a_planetoid_35->n6_a_planetoid_36
n6_a_planetoid_38
PRO
n6_a_planetoid_37->n6_a_planetoid_38
n6_a_planetoid_38->n6_a_planetoid_39
n6_a_planetoid_41
P-ROLE
n6_a_planetoid_40->n6_a_planetoid_41
n6_a_planetoid_43
NP
n6_a_planetoid_40->n6_a_planetoid_43
n6_a_planetoid_41->n6_a_planetoid_42
n6_a_planetoid_44
NP-GEN
n6_a_planetoid_43->n6_a_planetoid_44
n6_a_planetoid_47
NS
n6_a_planetoid_43->n6_a_planetoid_47
n6_a_planetoid_45
PRO;_genm_
n6_a_planetoid_44->n6_a_planetoid_45
n6_a_planetoid_45->n6_a_planetoid_46
n6_a_planetoid_47->n6_a_planetoid_48
n6_a_planetoid_49->n6_a_planetoid_50
n6_a_planetoid_52
CONJ
n6_a_planetoid_51->n6_a_planetoid_52
n6_a_planetoid_54
ILYR
n6_a_planetoid_51->n6_a_planetoid_54
n6_a_planetoid_52->n6_a_planetoid_53
n6_a_planetoid_55
PP-NIM
n6_a_planetoid_54->n6_a_planetoid_55
n6_a_planetoid_56
P-ROLE
n6_a_planetoid_55->n6_a_planetoid_56
n6_a_planetoid_58
NP
n6_a_planetoid_55->n6_a_planetoid_58
n6_a_planetoid_56->n6_a_planetoid_57
n6_a_planetoid_59
D
n6_a_planetoid_58->n6_a_planetoid_59
n6_a_planetoid_61
PULQ
n6_a_planetoid_58->n6_a_planetoid_61
n6_a_planetoid_63
ADJP
n6_a_planetoid_58->n6_a_planetoid_63
n6_a_planetoid_66
NS
n6_a_planetoid_58->n6_a_planetoid_66
n6_a_planetoid_68
PURQ
n6_a_planetoid_58->n6_a_planetoid_68
n6_a_planetoid_70
IP-REL
n6_a_planetoid_58->n6_a_planetoid_70
n6_a_planetoid_59->n6_a_planetoid_60
n6_a_planetoid_61->n6_a_planetoid_62
n6_a_planetoid_64
ADJ
n6_a_planetoid_63->n6_a_planetoid_64
n6_a_planetoid_64->n6_a_planetoid_65
n6_a_planetoid_66->n6_a_planetoid_67
n6_a_planetoid_68->n6_a_planetoid_69
n6_a_planetoid_71
NP-SBJ
n6_a_planetoid_70->n6_a_planetoid_71
n6_a_planetoid_74
VBP;_Tn_
n6_a_planetoid_70->n6_a_planetoid_74
n6_a_planetoid_76
NP-OB1
n6_a_planetoid_70->n6_a_planetoid_76
n6_a_planetoid_72
RPRO
n6_a_planetoid_71->n6_a_planetoid_72
n6_a_planetoid_72->n6_a_planetoid_73
n6_a_planetoid_74->n6_a_planetoid_75
n6_a_planetoid_77
Q;_nphd_
n6_a_planetoid_76->n6_a_planetoid_77
n6_a_planetoid_79
ADJP
n6_a_planetoid_76->n6_a_planetoid_79
n6_a_planetoid_82
PP
n6_a_planetoid_76->n6_a_planetoid_82
n6_a_planetoid_77->n6_a_planetoid_78
n6_a_planetoid_80
ADJ
n6_a_planetoid_79->n6_a_planetoid_80
n6_a_planetoid_80->n6_a_planetoid_81
n6_a_planetoid_83
P-ROLE
n6_a_planetoid_82->n6_a_planetoid_83
n6_a_planetoid_85
NP
n6_a_planetoid_82->n6_a_planetoid_85
n6_a_planetoid_83->n6_a_planetoid_84
n6_a_planetoid_86
N
n6_a_planetoid_85->n6_a_planetoid_86
n6_a_planetoid_86->n6_a_planetoid_87
n6_a_planetoid_88->n6_a_planetoid_89
( (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{RAIDER} (D a;{a})
(N raider;{raider}))
(VBP;_I_ ascends;{ascend})
(PP-NIM (P-ROLE with;{with})
(NP;{LIFE_FORM1} (D a;{a})
(N life;{life})
(PUNC <hyphen>)
(N form;{form})))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (ILYR (ILYR (VB;_Tn_ destroy;{destroy})
(NP-OB1;{RAIDER} (PRO it;{it}))
(PP-NIM (P-ROLE with;{with})
(NP (NP-GEN (PRO;_genm_ your;{your}))
(NS lasers;{laser}))))
(PUNC ,)
(CONJP (CONJ or;{or})
(ILYR (PP-NIM (P-ROLE with;{with})
(NP (D the;{the})
(PULQ <lsquo>)
(ADJP (ADJ smart;{smart}))
(NS bombs;{bomb})
(PURQ <rsquo>)
(IP-REL (NP-SBJ (RPRO which;{which}))
(VBP;_Tn_ disintegrate;{disintegrate})
(NP-OB1 (Q;_nphd_ everything;{everything})
(ADJP (ADJ hostile;{hostile}))
(PP (P-ROLE within;{within})
(NP (N sight;{sight})))))))))))
(PUNC .))
(ID 6_a_planetoid))