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_0003__are_r_0016_0004__displayed
are displayed
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]
r_0016_0006__the_r_0016_0007__top
the top
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_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
fof(formula,axiom,
? [R_16_3_ARE_DISPLAYED,Z_16_A_PLANETOID_10,R_16_1_THREE_NUMBERS,R_16_6_THE_TOP,R_16_9_THE_SCREEN] :
( three_numbers(R_16_1_THREE_NUMBERS)
& the_screen(R_16_9_THE_SCREEN)
& are_displayed(R_16_3_ARE_DISPLAYED,Z_16_A_PLANETOID_10,R_16_1_THREE_NUMBERS)
& at_nim17(R_16_3_ARE_DISPLAYED,R_16_6_THE_TOP)
& the_top(R_16_6_THE_TOP)
& of(R_16_6_THE_TOP,R_16_9_THE_SCREEN) ) ).
n16_a_planetoid
n16_a_planetoid_4
Three
n16_a_planetoid_6
numbers
n16_a_planetoid_8
are
n16_a_planetoid_11
*
n16_a_planetoid_13
displayed
n16_a_planetoid_16
at
n16_a_planetoid_19
the
n16_a_planetoid_21
top
n16_a_planetoid_24
of
n16_a_planetoid_27
the
n16_a_planetoid_29
screen
n16_a_planetoid_31
:
n16_a_planetoid_38
the
n16_a_planetoid_41
first
n16_a_planetoid_43
shows
n16_a_planetoid_47
your
n16_a_planetoid_49
score
n16_a_planetoid_52
and
n16_a_planetoid_56
the
n16_a_planetoid_61
second
n16_a_planetoid_64
and
n16_a_planetoid_67
third
n16_a_planetoid_69
show
n16_a_planetoid_72
the
n16_a_planetoid_74
numbers
n16_a_planetoid_77
of
n16_a_planetoid_83
remaining
n16_a_planetoid_85
laser
n16_a_planetoid_87
ships
n16_a_planetoid_90
and
n16_a_planetoid_94
smart
n16_a_planetoid_96
bombs
n16_a_planetoid_99
respectively
n16_a_planetoid_101
.
n16_a_planetoid_1
IP-MAT
n16_a_planetoid_2
NP-SBJ
n16_a_planetoid_1->n16_a_planetoid_2
n16_a_planetoid_7
BEP;_cat_VePASS_
n16_a_planetoid_1->n16_a_planetoid_7
n16_a_planetoid_9
IP-PPL-CAT
n16_a_planetoid_1->n16_a_planetoid_9
n16_a_planetoid_30
PUNC
n16_a_planetoid_1->n16_a_planetoid_30
n16_a_planetoid_32
PRN
n16_a_planetoid_1->n16_a_planetoid_32
n16_a_planetoid_100
PUNC
n16_a_planetoid_1->n16_a_planetoid_100
n16_a_planetoid_3
NUM
n16_a_planetoid_2->n16_a_planetoid_3
n16_a_planetoid_5
NS
n16_a_planetoid_2->n16_a_planetoid_5
n16_a_planetoid_3->n16_a_planetoid_4
n16_a_planetoid_5->n16_a_planetoid_6
n16_a_planetoid_7->n16_a_planetoid_8
n16_a_planetoid_10
NP-LGS
n16_a_planetoid_9->n16_a_planetoid_10
n16_a_planetoid_12
VVN;_Tn_
n16_a_planetoid_9->n16_a_planetoid_12
n16_a_planetoid_14
PP-NIM
n16_a_planetoid_9->n16_a_planetoid_14
n16_a_planetoid_10->n16_a_planetoid_11
n16_a_planetoid_12->n16_a_planetoid_13
n16_a_planetoid_15
P-ROLE
n16_a_planetoid_14->n16_a_planetoid_15
n16_a_planetoid_17
NP
n16_a_planetoid_14->n16_a_planetoid_17
n16_a_planetoid_15->n16_a_planetoid_16
n16_a_planetoid_18
D
n16_a_planetoid_17->n16_a_planetoid_18
n16_a_planetoid_20
N
n16_a_planetoid_17->n16_a_planetoid_20
n16_a_planetoid_22
PP
n16_a_planetoid_17->n16_a_planetoid_22
n16_a_planetoid_18->n16_a_planetoid_19
n16_a_planetoid_20->n16_a_planetoid_21
n16_a_planetoid_23
P-ROLE
n16_a_planetoid_22->n16_a_planetoid_23
n16_a_planetoid_25
NP
n16_a_planetoid_22->n16_a_planetoid_25
n16_a_planetoid_23->n16_a_planetoid_24
n16_a_planetoid_26
D
n16_a_planetoid_25->n16_a_planetoid_26
n16_a_planetoid_28
N
n16_a_planetoid_25->n16_a_planetoid_28
n16_a_planetoid_26->n16_a_planetoid_27
n16_a_planetoid_28->n16_a_planetoid_29
n16_a_planetoid_30->n16_a_planetoid_31
n16_a_planetoid_33
IP-MAT
n16_a_planetoid_32->n16_a_planetoid_33
n16_a_planetoid_34
ILYR
n16_a_planetoid_33->n16_a_planetoid_34
n16_a_planetoid_35
ILYR
n16_a_planetoid_34->n16_a_planetoid_35
n16_a_planetoid_50
CONJP
n16_a_planetoid_34->n16_a_planetoid_50
n16_a_planetoid_36
NP-SBJ
n16_a_planetoid_35->n16_a_planetoid_36
n16_a_planetoid_42
VBP;_Tn_
n16_a_planetoid_35->n16_a_planetoid_42
n16_a_planetoid_44
NP-OB1
n16_a_planetoid_35->n16_a_planetoid_44
n16_a_planetoid_37
D
n16_a_planetoid_36->n16_a_planetoid_37
n16_a_planetoid_39
ADJP
n16_a_planetoid_36->n16_a_planetoid_39
n16_a_planetoid_37->n16_a_planetoid_38
n16_a_planetoid_40
ADJ
n16_a_planetoid_39->n16_a_planetoid_40
n16_a_planetoid_40->n16_a_planetoid_41
n16_a_planetoid_42->n16_a_planetoid_43
n16_a_planetoid_45
NP-GEN
n16_a_planetoid_44->n16_a_planetoid_45
n16_a_planetoid_48
N
n16_a_planetoid_44->n16_a_planetoid_48
n16_a_planetoid_46
PRO;_genm_
n16_a_planetoid_45->n16_a_planetoid_46
n16_a_planetoid_46->n16_a_planetoid_47
n16_a_planetoid_48->n16_a_planetoid_49
n16_a_planetoid_51
CONJ
n16_a_planetoid_50->n16_a_planetoid_51
n16_a_planetoid_53
ILYR
n16_a_planetoid_50->n16_a_planetoid_53
n16_a_planetoid_51->n16_a_planetoid_52
n16_a_planetoid_54
NP-SBJ
n16_a_planetoid_53->n16_a_planetoid_54
n16_a_planetoid_68
VBP;_Tn_
n16_a_planetoid_53->n16_a_planetoid_68
n16_a_planetoid_70
NP-OB1
n16_a_planetoid_53->n16_a_planetoid_70
n16_a_planetoid_97
ADVP-NIM
n16_a_planetoid_53->n16_a_planetoid_97
n16_a_planetoid_55
D
n16_a_planetoid_54->n16_a_planetoid_55
n16_a_planetoid_57
ADJP
n16_a_planetoid_54->n16_a_planetoid_57
n16_a_planetoid_55->n16_a_planetoid_56
n16_a_planetoid_58
AJLYR
n16_a_planetoid_57->n16_a_planetoid_58
n16_a_planetoid_59
AJLYR
n16_a_planetoid_58->n16_a_planetoid_59
n16_a_planetoid_62
CONJP
n16_a_planetoid_58->n16_a_planetoid_62
n16_a_planetoid_60
ADJ
n16_a_planetoid_59->n16_a_planetoid_60
n16_a_planetoid_60->n16_a_planetoid_61
n16_a_planetoid_63
CONJ
n16_a_planetoid_62->n16_a_planetoid_63
n16_a_planetoid_65
AJLYR
n16_a_planetoid_62->n16_a_planetoid_65
n16_a_planetoid_63->n16_a_planetoid_64
n16_a_planetoid_66
ADJ
n16_a_planetoid_65->n16_a_planetoid_66
n16_a_planetoid_66->n16_a_planetoid_67
n16_a_planetoid_68->n16_a_planetoid_69
n16_a_planetoid_71
D
n16_a_planetoid_70->n16_a_planetoid_71
n16_a_planetoid_73
NS
n16_a_planetoid_70->n16_a_planetoid_73
n16_a_planetoid_75
PP
n16_a_planetoid_70->n16_a_planetoid_75
n16_a_planetoid_71->n16_a_planetoid_72
n16_a_planetoid_73->n16_a_planetoid_74
n16_a_planetoid_76
P-ROLE
n16_a_planetoid_75->n16_a_planetoid_76
n16_a_planetoid_78
NP
n16_a_planetoid_75->n16_a_planetoid_78
n16_a_planetoid_76->n16_a_planetoid_77
n16_a_planetoid_79
NLYR
n16_a_planetoid_78->n16_a_planetoid_79
n16_a_planetoid_80
NLYR
n16_a_planetoid_79->n16_a_planetoid_80
n16_a_planetoid_88
CONJP
n16_a_planetoid_79->n16_a_planetoid_88
n16_a_planetoid_81
IP-PPL
n16_a_planetoid_80->n16_a_planetoid_81
n16_a_planetoid_84
N
n16_a_planetoid_80->n16_a_planetoid_84
n16_a_planetoid_86
NS
n16_a_planetoid_80->n16_a_planetoid_86
n16_a_planetoid_82
VAG;_I_
n16_a_planetoid_81->n16_a_planetoid_82
n16_a_planetoid_82->n16_a_planetoid_83
n16_a_planetoid_84->n16_a_planetoid_85
n16_a_planetoid_86->n16_a_planetoid_87
n16_a_planetoid_89
CONJ
n16_a_planetoid_88->n16_a_planetoid_89
n16_a_planetoid_91
NLYR
n16_a_planetoid_88->n16_a_planetoid_91
n16_a_planetoid_89->n16_a_planetoid_90
n16_a_planetoid_92
ADJP
n16_a_planetoid_91->n16_a_planetoid_92
n16_a_planetoid_95
NS
n16_a_planetoid_91->n16_a_planetoid_95
n16_a_planetoid_93
ADJ
n16_a_planetoid_92->n16_a_planetoid_93
n16_a_planetoid_93->n16_a_planetoid_94
n16_a_planetoid_95->n16_a_planetoid_96
n16_a_planetoid_98
ADV
n16_a_planetoid_97->n16_a_planetoid_98
n16_a_planetoid_98->n16_a_planetoid_99
n16_a_planetoid_100->n16_a_planetoid_101
( (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))