16_a_planetoid
%3
r_0016_0003__are
are
r_0016_0004__displayed
displayed
r_0016_0003__are->r_0016_0004__displayed
[scope]
r_0016_0001__Three_r_0016_0002__numbers
Three numbers
r_0016_0004__displayed->r_0016_0001__Three_r_0016_0002__numbers
[arg1]
r_0016_0006__the_r_0016_0007__top
the top
r_0016_0004__displayed->r_0016_0006__the_r_0016_0007__top
at [nim]
z_000_16_a_planetoid_10
r_0016_0004__displayed->z_000_16_a_planetoid_10
[arg0]
r_0016_0009__the_r_0016_0010__screen
the screen
r_0016_0006__the_r_0016_0007__top->r_0016_0009__the_r_0016_0010__screen
of
arc(r_0016_0003__are, r_0016_0004__displayed, scope).
arc(r_0016_0004__displayed, r_0016_0001__Three_r_0016_0002__numbers, arg1).
arc(r_0016_0004__displayed, r_0016_0006__the_r_0016_0007__top, r_0016_0005__at_nim17).
arc(r_0016_0004__displayed, z_000_16_a_planetoid_10, arg0).
arc(r_0016_0006__the_r_0016_0007__top, r_0016_0009__the_r_0016_0010__screen, r_0016_0008__of).
%3
r_0016_0006__the_r_0016_0007__top
the top
r_0016_0009__the_r_0016_0010__screen
the screen
r_0016_0006__the_r_0016_0007__top->r_0016_0009__the_r_0016_0010__screen
of
r_0016_0003__are_r_0016_0004__displayed
are displayed
r_0016_0003__are_r_0016_0004__displayed->r_0016_0006__the_r_0016_0007__top
at [nim]
z_000_16_a_planetoid_10
r_0016_0003__are_r_0016_0004__displayed->z_000_16_a_planetoid_10
[arg0]
r_0016_0001__Three_r_0016_0002__numbers
Three numbers
r_0016_0003__are_r_0016_0004__displayed->r_0016_0001__Three_r_0016_0002__numbers
[arg1]
fof(formula,axiom,
? [R_0016_0001__THREE_R_0016_0002__NUMBERS,R_0016_0009__THE_R_0016_0010__SCREEN,R_0016_0006__THE_R_0016_0007__TOP,Z_000_16_A_PLANETOID_10,R_0016_0003__ARE_R_0016_0004__DISPLAYED] :
( r_0016_0001__Three_r_0016_0002__numbers(R_0016_0001__THREE_R_0016_0002__NUMBERS)
& r_0016_0009__the_r_0016_0010__screen(R_0016_0009__THE_R_0016_0010__SCREEN)
& z_000_16_a_planetoid_10(Z_000_16_A_PLANETOID_10)
& r_0016_0003__are_r_0016_0004__displayed(R_0016_0003__ARE_R_0016_0004__DISPLAYED)
& has_arg0(R_0016_0003__ARE_R_0016_0004__DISPLAYED,Z_000_16_A_PLANETOID_10)
& has_r_0016_0005__at_nim17(R_0016_0003__ARE_R_0016_0004__DISPLAYED,R_0016_0006__THE_R_0016_0007__TOP)
& r_0016_0006__the_r_0016_0007__top(R_0016_0006__THE_R_0016_0007__TOP)
& has_r_0016_0008__of(R_0016_0006__THE_R_0016_0007__TOP,R_0016_0009__THE_R_0016_0010__SCREEN)
& has_arg1(R_0016_0003__ARE_R_0016_0004__DISPLAYED,R_0016_0001__THREE_R_0016_0002__NUMBERS) ) ).
n16_a_planetoid
n16_a_planetoid__1_1_1_1
Three
n16_a_planetoid__1_1_2_1
numbers
n16_a_planetoid__1_2_1
are
n16_a_planetoid__1_3_1_1
*
n16_a_planetoid__1_3_2_1
displayed
n16_a_planetoid__1_3_3_1_1
at
n16_a_planetoid__1_3_3_2_1_1
the
n16_a_planetoid__1_3_3_2_2_1
top
n16_a_planetoid__1_3_3_2_3_1_1
of
n16_a_planetoid__1_3_3_2_3_2_1_1
the
n16_a_planetoid__1_3_3_2_3_2_2_1
screen
n16_a_planetoid__1_4_1
:
n16_a_planetoid__1_5_1_1_1_1_1_1
the
n16_a_planetoid__1_5_1_1_1_1_2_1_1
first
n16_a_planetoid__1_5_1_1_1_2_1
shows
n16_a_planetoid__1_5_1_1_1_3_1_1_1
your
n16_a_planetoid__1_5_1_1_1_3_2_1
score
n16_a_planetoid__1_5_1_1_2_1_1
and
n16_a_planetoid__1_5_1_1_2_2_1_1_1
the
n16_a_planetoid__1_5_1_1_2_2_1_2_1_1_1_1
second
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_1_1
and
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2_1_1
third
n16_a_planetoid__1_5_1_1_2_2_2_1
show
n16_a_planetoid__1_5_1_1_2_2_3_1_1
the
n16_a_planetoid__1_5_1_1_2_2_3_2_1
numbers
n16_a_planetoid__1_5_1_1_2_2_3_3_1_1
of
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1_1_1
remaining
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_2_1
laser
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_3_1
ships
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_1_1
and
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1_1_1
smart
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_2_1
bombs
n16_a_planetoid__1_5_1_1_2_2_4_1_1
respectively
n16_a_planetoid__1_6_1
.
n16_a_planetoid__1
IP-MAT
n16_a_planetoid__1_1
NP-SBJ
n16_a_planetoid__1->n16_a_planetoid__1_1
n16_a_planetoid__1_2
BEP;_cat_VePASS_
n16_a_planetoid__1->n16_a_planetoid__1_2
n16_a_planetoid__1_3
IP-PPL-CAT
n16_a_planetoid__1->n16_a_planetoid__1_3
n16_a_planetoid__1_4
PUNC
n16_a_planetoid__1->n16_a_planetoid__1_4
n16_a_planetoid__1_5
PRN
n16_a_planetoid__1->n16_a_planetoid__1_5
n16_a_planetoid__1_6
PUNC
n16_a_planetoid__1->n16_a_planetoid__1_6
n16_a_planetoid__1_1_1
NUM
n16_a_planetoid__1_1->n16_a_planetoid__1_1_1
n16_a_planetoid__1_1_2
NS
n16_a_planetoid__1_1->n16_a_planetoid__1_1_2
n16_a_planetoid__1_1_1->n16_a_planetoid__1_1_1_1
n16_a_planetoid__1_1_2->n16_a_planetoid__1_1_2_1
n16_a_planetoid__1_2->n16_a_planetoid__1_2_1
n16_a_planetoid__1_3_1
NP-LGS
n16_a_planetoid__1_3->n16_a_planetoid__1_3_1
n16_a_planetoid__1_3_2
VVN;_Tn_
n16_a_planetoid__1_3->n16_a_planetoid__1_3_2
n16_a_planetoid__1_3_3
PP-NIM
n16_a_planetoid__1_3->n16_a_planetoid__1_3_3
n16_a_planetoid__1_3_1->n16_a_planetoid__1_3_1_1
n16_a_planetoid__1_3_2->n16_a_planetoid__1_3_2_1
n16_a_planetoid__1_3_3_1
P-ROLE
n16_a_planetoid__1_3_3->n16_a_planetoid__1_3_3_1
n16_a_planetoid__1_3_3_2
NP
n16_a_planetoid__1_3_3->n16_a_planetoid__1_3_3_2
n16_a_planetoid__1_3_3_1->n16_a_planetoid__1_3_3_1_1
n16_a_planetoid__1_3_3_2_1
D
n16_a_planetoid__1_3_3_2->n16_a_planetoid__1_3_3_2_1
n16_a_planetoid__1_3_3_2_2
N
n16_a_planetoid__1_3_3_2->n16_a_planetoid__1_3_3_2_2
n16_a_planetoid__1_3_3_2_3
PP
n16_a_planetoid__1_3_3_2->n16_a_planetoid__1_3_3_2_3
n16_a_planetoid__1_3_3_2_1->n16_a_planetoid__1_3_3_2_1_1
n16_a_planetoid__1_3_3_2_2->n16_a_planetoid__1_3_3_2_2_1
n16_a_planetoid__1_3_3_2_3_1
P-ROLE
n16_a_planetoid__1_3_3_2_3->n16_a_planetoid__1_3_3_2_3_1
n16_a_planetoid__1_3_3_2_3_2
NP
n16_a_planetoid__1_3_3_2_3->n16_a_planetoid__1_3_3_2_3_2
n16_a_planetoid__1_3_3_2_3_1->n16_a_planetoid__1_3_3_2_3_1_1
n16_a_planetoid__1_3_3_2_3_2_1
D
n16_a_planetoid__1_3_3_2_3_2->n16_a_planetoid__1_3_3_2_3_2_1
n16_a_planetoid__1_3_3_2_3_2_2
N
n16_a_planetoid__1_3_3_2_3_2->n16_a_planetoid__1_3_3_2_3_2_2
n16_a_planetoid__1_3_3_2_3_2_1->n16_a_planetoid__1_3_3_2_3_2_1_1
n16_a_planetoid__1_3_3_2_3_2_2->n16_a_planetoid__1_3_3_2_3_2_2_1
n16_a_planetoid__1_4->n16_a_planetoid__1_4_1
n16_a_planetoid__1_5_1
IP-MAT
n16_a_planetoid__1_5->n16_a_planetoid__1_5_1
n16_a_planetoid__1_5_1_1
ILYR
n16_a_planetoid__1_5_1->n16_a_planetoid__1_5_1_1
n16_a_planetoid__1_5_1_1_1
ILYR
n16_a_planetoid__1_5_1_1->n16_a_planetoid__1_5_1_1_1
n16_a_planetoid__1_5_1_1_2
CONJP
n16_a_planetoid__1_5_1_1->n16_a_planetoid__1_5_1_1_2
n16_a_planetoid__1_5_1_1_1_1
NP-SBJ
n16_a_planetoid__1_5_1_1_1->n16_a_planetoid__1_5_1_1_1_1
n16_a_planetoid__1_5_1_1_1_2
VBP;_Tn_
n16_a_planetoid__1_5_1_1_1->n16_a_planetoid__1_5_1_1_1_2
n16_a_planetoid__1_5_1_1_1_3
NP-OB1
n16_a_planetoid__1_5_1_1_1->n16_a_planetoid__1_5_1_1_1_3
n16_a_planetoid__1_5_1_1_1_1_1
D
n16_a_planetoid__1_5_1_1_1_1->n16_a_planetoid__1_5_1_1_1_1_1
n16_a_planetoid__1_5_1_1_1_1_2
ADJP
n16_a_planetoid__1_5_1_1_1_1->n16_a_planetoid__1_5_1_1_1_1_2
n16_a_planetoid__1_5_1_1_1_1_1->n16_a_planetoid__1_5_1_1_1_1_1_1
n16_a_planetoid__1_5_1_1_1_1_2_1
ADJ
n16_a_planetoid__1_5_1_1_1_1_2->n16_a_planetoid__1_5_1_1_1_1_2_1
n16_a_planetoid__1_5_1_1_1_1_2_1->n16_a_planetoid__1_5_1_1_1_1_2_1_1
n16_a_planetoid__1_5_1_1_1_2->n16_a_planetoid__1_5_1_1_1_2_1
n16_a_planetoid__1_5_1_1_1_3_1
NP-GEN
n16_a_planetoid__1_5_1_1_1_3->n16_a_planetoid__1_5_1_1_1_3_1
n16_a_planetoid__1_5_1_1_1_3_2
N
n16_a_planetoid__1_5_1_1_1_3->n16_a_planetoid__1_5_1_1_1_3_2
n16_a_planetoid__1_5_1_1_1_3_1_1
PRO;_genm_
n16_a_planetoid__1_5_1_1_1_3_1->n16_a_planetoid__1_5_1_1_1_3_1_1
n16_a_planetoid__1_5_1_1_1_3_1_1->n16_a_planetoid__1_5_1_1_1_3_1_1_1
n16_a_planetoid__1_5_1_1_1_3_2->n16_a_planetoid__1_5_1_1_1_3_2_1
n16_a_planetoid__1_5_1_1_2_1
CONJ
n16_a_planetoid__1_5_1_1_2->n16_a_planetoid__1_5_1_1_2_1
n16_a_planetoid__1_5_1_1_2_2
ILYR
n16_a_planetoid__1_5_1_1_2->n16_a_planetoid__1_5_1_1_2_2
n16_a_planetoid__1_5_1_1_2_1->n16_a_planetoid__1_5_1_1_2_1_1
n16_a_planetoid__1_5_1_1_2_2_1
NP-SBJ
n16_a_planetoid__1_5_1_1_2_2->n16_a_planetoid__1_5_1_1_2_2_1
n16_a_planetoid__1_5_1_1_2_2_2
VBP;_Tn_
n16_a_planetoid__1_5_1_1_2_2->n16_a_planetoid__1_5_1_1_2_2_2
n16_a_planetoid__1_5_1_1_2_2_3
NP-OB1
n16_a_planetoid__1_5_1_1_2_2->n16_a_planetoid__1_5_1_1_2_2_3
n16_a_planetoid__1_5_1_1_2_2_4
ADVP-NIM
n16_a_planetoid__1_5_1_1_2_2->n16_a_planetoid__1_5_1_1_2_2_4
n16_a_planetoid__1_5_1_1_2_2_1_1
D
n16_a_planetoid__1_5_1_1_2_2_1->n16_a_planetoid__1_5_1_1_2_2_1_1
n16_a_planetoid__1_5_1_1_2_2_1_2
ADJP
n16_a_planetoid__1_5_1_1_2_2_1->n16_a_planetoid__1_5_1_1_2_2_1_2
n16_a_planetoid__1_5_1_1_2_2_1_1->n16_a_planetoid__1_5_1_1_2_2_1_1_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1
AJLYR
n16_a_planetoid__1_5_1_1_2_2_1_2->n16_a_planetoid__1_5_1_1_2_2_1_2_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_1
AJLYR
n16_a_planetoid__1_5_1_1_2_2_1_2_1->n16_a_planetoid__1_5_1_1_2_2_1_2_1_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2
CONJP
n16_a_planetoid__1_5_1_1_2_2_1_2_1->n16_a_planetoid__1_5_1_1_2_2_1_2_1_2
n16_a_planetoid__1_5_1_1_2_2_1_2_1_1_1
ADJ
n16_a_planetoid__1_5_1_1_2_2_1_2_1_1->n16_a_planetoid__1_5_1_1_2_2_1_2_1_1_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_1_1->n16_a_planetoid__1_5_1_1_2_2_1_2_1_1_1_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_1
CONJ
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2->n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2
AJLYR
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2->n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_1->n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_1_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2_1
ADJ
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2->n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2_1
n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2_1->n16_a_planetoid__1_5_1_1_2_2_1_2_1_2_2_1_1
n16_a_planetoid__1_5_1_1_2_2_2->n16_a_planetoid__1_5_1_1_2_2_2_1
n16_a_planetoid__1_5_1_1_2_2_3_1
D
n16_a_planetoid__1_5_1_1_2_2_3->n16_a_planetoid__1_5_1_1_2_2_3_1
n16_a_planetoid__1_5_1_1_2_2_3_2
NS
n16_a_planetoid__1_5_1_1_2_2_3->n16_a_planetoid__1_5_1_1_2_2_3_2
n16_a_planetoid__1_5_1_1_2_2_3_3
PP
n16_a_planetoid__1_5_1_1_2_2_3->n16_a_planetoid__1_5_1_1_2_2_3_3
n16_a_planetoid__1_5_1_1_2_2_3_1->n16_a_planetoid__1_5_1_1_2_2_3_1_1
n16_a_planetoid__1_5_1_1_2_2_3_2->n16_a_planetoid__1_5_1_1_2_2_3_2_1
n16_a_planetoid__1_5_1_1_2_2_3_3_1
P-ROLE
n16_a_planetoid__1_5_1_1_2_2_3_3->n16_a_planetoid__1_5_1_1_2_2_3_3_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2
NP
n16_a_planetoid__1_5_1_1_2_2_3_3->n16_a_planetoid__1_5_1_1_2_2_3_3_2
n16_a_planetoid__1_5_1_1_2_2_3_3_1->n16_a_planetoid__1_5_1_1_2_2_3_3_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1
NLYR
n16_a_planetoid__1_5_1_1_2_2_3_3_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1
NLYR
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2
CONJP
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1
IP-PPL
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_2
N
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_2
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_3
NS
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_3
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1_1
VAG;_I_
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_1_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_2_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_3->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_1_3_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_1
CONJ
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2
NLYR
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1
ADJP
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_2
NS
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_2
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1_1
ADJ
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1_1->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_1_1_1
n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_2->n16_a_planetoid__1_5_1_1_2_2_3_3_2_1_2_2_2_1
n16_a_planetoid__1_5_1_1_2_2_4_1
ADV
n16_a_planetoid__1_5_1_1_2_2_4->n16_a_planetoid__1_5_1_1_2_2_4_1
n16_a_planetoid__1_5_1_1_2_2_4_1->n16_a_planetoid__1_5_1_1_2_2_4_1_1
n16_a_planetoid__1_6->n16_a_planetoid__1_6_1
( (IP-MAT (NP-SBJ (NUM Three;{three})
(NS numbers;{number}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ displayed;{display})
(PP-NIM (P-ROLE at;{at})
(NP (D the;{the})
(N top;{top})
(PP (P-ROLE of;{of})
(NP;{SCREEN} (D the;{the})
(N screen;{screen}))))))
(PUNC :)
(PRN (IP-MAT (ILYR (ILYR (NP-SBJ (D the;{the})
(ADJP (ADJ first;{first})))
(VBP;_Tn_ shows;{show})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(N score;{score})))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(ADJP (AJLYR (AJLYR (ADJ second;{second}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ third;{third}))))))
(VBP;_Tn_ show;{show})
(NP-OB1 (D the;{the})
(NS numbers;{number})
(PP (P-ROLE of;{of})
(NP (NLYR (NLYR (IP-PPL (VAG;_I_ remaining;{remain}))
(N laser;{laser})
(NS ships;{ship}))
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ smart;{smart}))
(NS bombs;{bomb})))))))
(ADVP-NIM (ADV respectively;{respectively})))))))
(PUNC .))
(ID 16_a_planetoid))