23_a_freedoom
n23_a_freedoom
n23_a_freedoom__1_1_1_1
Most
n23_a_freedoom__1_1_2_1
players
n23_a_freedoom__1_2_1
find
n23_a_freedoom__1_3_1_1_1
that
n23_a_freedoom__1_3_1_2_1_1
a
n23_a_freedoom__1_3_1_2_2_1_1_1_1
mouse
n23_a_freedoom__1_3_1_2_2_1_2_1_1
and
n23_a_freedoom__1_3_1_2_2_1_2_2_1_1
keyboard
n23_a_freedoom__1_3_1_2_3_1
combination
n23_a_freedoom__1_3_1_2_4_1
*ICH*-182
n23_a_freedoom__1_3_1_3_1
is
n23_a_freedoom__1_3_1_4_1_1
the
n23_a_freedoom__1_3_1_4_2_1_1_1
most
n23_a_freedoom__1_3_1_4_2_2_1
effective
n23_a_freedoom__1_3_1_5_1
,
n23_a_freedoom__1_3_1_6_1_1_1
where
n23_a_freedoom__1_3_1_6_2_1_1
the
n23_a_freedoom__1_3_1_6_2_2_1
mouse
n23_a_freedoom__1_3_1_6_3_1
is
n23_a_freedoom__1_3_1_6_4_1_1
*
n23_a_freedoom__1_3_1_6_4_2_1
used
n23_a_freedoom__1_3_1_6_4_3_1_1
to
n23_a_freedoom__1_3_1_6_4_3_2_1
turn
n23_a_freedoom__1_3_1_6_5_1_1
while
n23_a_freedoom__1_3_1_6_5_2_1_1_1
the
n23_a_freedoom__1_3_1_6_5_2_1_2_1
keyboard
n23_a_freedoom__1_3_1_6_5_2_2_1
is
n23_a_freedoom__1_3_1_6_5_2_3_1_1
*
n23_a_freedoom__1_3_1_6_5_2_3_2_1
used
n23_a_freedoom__1_3_1_6_5_2_3_3_1_1
to
n23_a_freedoom__1_3_1_6_5_2_3_3_2_1
move
n23_a_freedoom__1_3_1_6_5_2_3_3_3_1_1
around
n23_a_freedoom__1_4_1
.
n23_a_freedoom__1
IP-MAT
n23_a_freedoom__1_1
NP-SBJ
n23_a_freedoom__1->n23_a_freedoom__1_1
n23_a_freedoom__1_2
VBP;_Tf_
n23_a_freedoom__1->n23_a_freedoom__1_2
n23_a_freedoom__1_3
CP-THT-OB1
n23_a_freedoom__1->n23_a_freedoom__1_3
n23_a_freedoom__1_4
PUNC
n23_a_freedoom__1->n23_a_freedoom__1_4
n23_a_freedoom__1_1_1
Q
n23_a_freedoom__1_1->n23_a_freedoom__1_1_1
n23_a_freedoom__1_1_2
NS
n23_a_freedoom__1_1->n23_a_freedoom__1_1_2
n23_a_freedoom__1_1_1->n23_a_freedoom__1_1_1_1
n23_a_freedoom__1_1_2->n23_a_freedoom__1_1_2_1
n23_a_freedoom__1_2->n23_a_freedoom__1_2_1
n23_a_freedoom__1_3_1
IP-SUB
n23_a_freedoom__1_3->n23_a_freedoom__1_3_1
n23_a_freedoom__1_3_1_1
C
n23_a_freedoom__1_3_1->n23_a_freedoom__1_3_1_1
n23_a_freedoom__1_3_1_2
NP-SBJ
n23_a_freedoom__1_3_1->n23_a_freedoom__1_3_1_2
n23_a_freedoom__1_3_1_3
BEP;_Ln_
n23_a_freedoom__1_3_1->n23_a_freedoom__1_3_1_3
n23_a_freedoom__1_3_1_4
NP-PRD
n23_a_freedoom__1_3_1->n23_a_freedoom__1_3_1_4
n23_a_freedoom__1_3_1_5
PUNC
n23_a_freedoom__1_3_1->n23_a_freedoom__1_3_1_5
n23_a_freedoom__1_3_1_6
IP-REL-EPD-182
n23_a_freedoom__1_3_1->n23_a_freedoom__1_3_1_6
n23_a_freedoom__1_3_1_1->n23_a_freedoom__1_3_1_1_1
n23_a_freedoom__1_3_1_2_1
D
n23_a_freedoom__1_3_1_2->n23_a_freedoom__1_3_1_2_1
n23_a_freedoom__1_3_1_2_2
NLYR
n23_a_freedoom__1_3_1_2->n23_a_freedoom__1_3_1_2_2
n23_a_freedoom__1_3_1_2_3
N
n23_a_freedoom__1_3_1_2->n23_a_freedoom__1_3_1_2_3
n23_a_freedoom__1_3_1_2_4
IP-REL
n23_a_freedoom__1_3_1_2->n23_a_freedoom__1_3_1_2_4
n23_a_freedoom__1_3_1_2_1->n23_a_freedoom__1_3_1_2_1_1
n23_a_freedoom__1_3_1_2_2_1
NLYR
n23_a_freedoom__1_3_1_2_2->n23_a_freedoom__1_3_1_2_2_1
n23_a_freedoom__1_3_1_2_2_1_1
NLYR
n23_a_freedoom__1_3_1_2_2_1->n23_a_freedoom__1_3_1_2_2_1_1
n23_a_freedoom__1_3_1_2_2_1_2
CONJP
n23_a_freedoom__1_3_1_2_2_1->n23_a_freedoom__1_3_1_2_2_1_2
n23_a_freedoom__1_3_1_2_2_1_1_1
N
n23_a_freedoom__1_3_1_2_2_1_1->n23_a_freedoom__1_3_1_2_2_1_1_1
n23_a_freedoom__1_3_1_2_2_1_1_1->n23_a_freedoom__1_3_1_2_2_1_1_1_1
n23_a_freedoom__1_3_1_2_2_1_2_1
CONJ
n23_a_freedoom__1_3_1_2_2_1_2->n23_a_freedoom__1_3_1_2_2_1_2_1
n23_a_freedoom__1_3_1_2_2_1_2_2
NLYR
n23_a_freedoom__1_3_1_2_2_1_2->n23_a_freedoom__1_3_1_2_2_1_2_2
n23_a_freedoom__1_3_1_2_2_1_2_1->n23_a_freedoom__1_3_1_2_2_1_2_1_1
n23_a_freedoom__1_3_1_2_2_1_2_2_1
N
n23_a_freedoom__1_3_1_2_2_1_2_2->n23_a_freedoom__1_3_1_2_2_1_2_2_1
n23_a_freedoom__1_3_1_2_2_1_2_2_1->n23_a_freedoom__1_3_1_2_2_1_2_2_1_1
n23_a_freedoom__1_3_1_2_3->n23_a_freedoom__1_3_1_2_3_1
n23_a_freedoom__1_3_1_2_4->n23_a_freedoom__1_3_1_2_4_1
n23_a_freedoom__1_3_1_3->n23_a_freedoom__1_3_1_3_1
n23_a_freedoom__1_3_1_4_1
D
n23_a_freedoom__1_3_1_4->n23_a_freedoom__1_3_1_4_1
n23_a_freedoom__1_3_1_4_2
ADJP
n23_a_freedoom__1_3_1_4->n23_a_freedoom__1_3_1_4_2
n23_a_freedoom__1_3_1_4_1->n23_a_freedoom__1_3_1_4_1_1
n23_a_freedoom__1_3_1_4_2_1
ADVP
n23_a_freedoom__1_3_1_4_2->n23_a_freedoom__1_3_1_4_2_1
n23_a_freedoom__1_3_1_4_2_2
ADJ
n23_a_freedoom__1_3_1_4_2->n23_a_freedoom__1_3_1_4_2_2
n23_a_freedoom__1_3_1_4_2_1_1
ADVS
n23_a_freedoom__1_3_1_4_2_1->n23_a_freedoom__1_3_1_4_2_1_1
n23_a_freedoom__1_3_1_4_2_1_1->n23_a_freedoom__1_3_1_4_2_1_1_1
n23_a_freedoom__1_3_1_4_2_2->n23_a_freedoom__1_3_1_4_2_2_1
n23_a_freedoom__1_3_1_5->n23_a_freedoom__1_3_1_5_1
n23_a_freedoom__1_3_1_6_1
ADVP-NIM
n23_a_freedoom__1_3_1_6->n23_a_freedoom__1_3_1_6_1
n23_a_freedoom__1_3_1_6_2
NP-SBJ
n23_a_freedoom__1_3_1_6->n23_a_freedoom__1_3_1_6_2
n23_a_freedoom__1_3_1_6_3
BEP;_cat_VePASS_
n23_a_freedoom__1_3_1_6->n23_a_freedoom__1_3_1_6_3
n23_a_freedoom__1_3_1_6_4
IP-PPL-CAT
n23_a_freedoom__1_3_1_6->n23_a_freedoom__1_3_1_6_4
n23_a_freedoom__1_3_1_6_5
PP-SCON
n23_a_freedoom__1_3_1_6->n23_a_freedoom__1_3_1_6_5
n23_a_freedoom__1_3_1_6_1_1
RADV
n23_a_freedoom__1_3_1_6_1->n23_a_freedoom__1_3_1_6_1_1
n23_a_freedoom__1_3_1_6_1_1->n23_a_freedoom__1_3_1_6_1_1_1
n23_a_freedoom__1_3_1_6_2_1
D
n23_a_freedoom__1_3_1_6_2->n23_a_freedoom__1_3_1_6_2_1
n23_a_freedoom__1_3_1_6_2_2
N
n23_a_freedoom__1_3_1_6_2->n23_a_freedoom__1_3_1_6_2_2
n23_a_freedoom__1_3_1_6_2_1->n23_a_freedoom__1_3_1_6_2_1_1
n23_a_freedoom__1_3_1_6_2_2->n23_a_freedoom__1_3_1_6_2_2_1
n23_a_freedoom__1_3_1_6_3->n23_a_freedoom__1_3_1_6_3_1
n23_a_freedoom__1_3_1_6_4_1
NP-LGS
n23_a_freedoom__1_3_1_6_4->n23_a_freedoom__1_3_1_6_4_1
n23_a_freedoom__1_3_1_6_4_2
VVN;_Tnt_
n23_a_freedoom__1_3_1_6_4->n23_a_freedoom__1_3_1_6_4_2
n23_a_freedoom__1_3_1_6_4_3
IP-INF3-OB1
n23_a_freedoom__1_3_1_6_4->n23_a_freedoom__1_3_1_6_4_3
n23_a_freedoom__1_3_1_6_4_1->n23_a_freedoom__1_3_1_6_4_1_1
n23_a_freedoom__1_3_1_6_4_2->n23_a_freedoom__1_3_1_6_4_2_1
n23_a_freedoom__1_3_1_6_4_3_1
TO
n23_a_freedoom__1_3_1_6_4_3->n23_a_freedoom__1_3_1_6_4_3_1
n23_a_freedoom__1_3_1_6_4_3_2
VB;_I_
n23_a_freedoom__1_3_1_6_4_3->n23_a_freedoom__1_3_1_6_4_3_2
n23_a_freedoom__1_3_1_6_4_3_1->n23_a_freedoom__1_3_1_6_4_3_1_1
n23_a_freedoom__1_3_1_6_4_3_2->n23_a_freedoom__1_3_1_6_4_3_2_1
n23_a_freedoom__1_3_1_6_5_1
P-CONN
n23_a_freedoom__1_3_1_6_5->n23_a_freedoom__1_3_1_6_5_1
n23_a_freedoom__1_3_1_6_5_2
IP-ADV
n23_a_freedoom__1_3_1_6_5->n23_a_freedoom__1_3_1_6_5_2
n23_a_freedoom__1_3_1_6_5_1->n23_a_freedoom__1_3_1_6_5_1_1
n23_a_freedoom__1_3_1_6_5_2_1
NP-SBJ
n23_a_freedoom__1_3_1_6_5_2->n23_a_freedoom__1_3_1_6_5_2_1
n23_a_freedoom__1_3_1_6_5_2_2
BEP;_cat_VePASS_
n23_a_freedoom__1_3_1_6_5_2->n23_a_freedoom__1_3_1_6_5_2_2
n23_a_freedoom__1_3_1_6_5_2_3
IP-PPL-CAT
n23_a_freedoom__1_3_1_6_5_2->n23_a_freedoom__1_3_1_6_5_2_3
n23_a_freedoom__1_3_1_6_5_2_1_1
D
n23_a_freedoom__1_3_1_6_5_2_1->n23_a_freedoom__1_3_1_6_5_2_1_1
n23_a_freedoom__1_3_1_6_5_2_1_2
N
n23_a_freedoom__1_3_1_6_5_2_1->n23_a_freedoom__1_3_1_6_5_2_1_2
n23_a_freedoom__1_3_1_6_5_2_1_1->n23_a_freedoom__1_3_1_6_5_2_1_1_1
n23_a_freedoom__1_3_1_6_5_2_1_2->n23_a_freedoom__1_3_1_6_5_2_1_2_1
n23_a_freedoom__1_3_1_6_5_2_2->n23_a_freedoom__1_3_1_6_5_2_2_1
n23_a_freedoom__1_3_1_6_5_2_3_1
NP-LGS
n23_a_freedoom__1_3_1_6_5_2_3->n23_a_freedoom__1_3_1_6_5_2_3_1
n23_a_freedoom__1_3_1_6_5_2_3_2
VVN;_Tnt_
n23_a_freedoom__1_3_1_6_5_2_3->n23_a_freedoom__1_3_1_6_5_2_3_2
n23_a_freedoom__1_3_1_6_5_2_3_3
IP-INF3-OB1
n23_a_freedoom__1_3_1_6_5_2_3->n23_a_freedoom__1_3_1_6_5_2_3_3
n23_a_freedoom__1_3_1_6_5_2_3_1->n23_a_freedoom__1_3_1_6_5_2_3_1_1
n23_a_freedoom__1_3_1_6_5_2_3_2->n23_a_freedoom__1_3_1_6_5_2_3_2_1
n23_a_freedoom__1_3_1_6_5_2_3_3_1
TO
n23_a_freedoom__1_3_1_6_5_2_3_3->n23_a_freedoom__1_3_1_6_5_2_3_3_1
n23_a_freedoom__1_3_1_6_5_2_3_3_2
VB;_Ip_
n23_a_freedoom__1_3_1_6_5_2_3_3->n23_a_freedoom__1_3_1_6_5_2_3_3_2
n23_a_freedoom__1_3_1_6_5_2_3_3_3
ADVP-NIM
n23_a_freedoom__1_3_1_6_5_2_3_3->n23_a_freedoom__1_3_1_6_5_2_3_3_3
n23_a_freedoom__1_3_1_6_5_2_3_3_1->n23_a_freedoom__1_3_1_6_5_2_3_3_1_1
n23_a_freedoom__1_3_1_6_5_2_3_3_2->n23_a_freedoom__1_3_1_6_5_2_3_3_2_1
n23_a_freedoom__1_3_1_6_5_2_3_3_3_1
RP
n23_a_freedoom__1_3_1_6_5_2_3_3_3->n23_a_freedoom__1_3_1_6_5_2_3_3_3_1
n23_a_freedoom__1_3_1_6_5_2_3_3_3_1->n23_a_freedoom__1_3_1_6_5_2_3_3_3_1_1
n23_a_freedoom__1_4->n23_a_freedoom__1_4_1
( (IP-MAT (NP-SBJ (Q Most;{most})
(NS players;{player}))
(VBP;_Tf_ find;{find})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D a;{a})
(NLYR (NLYR (NLYR;{MOUSE} (N mouse;{mouse}))
(CONJP (CONJ and;{and})
(NLYR;{KEYBOARD} (N keyboard;{keyboard})))))
(N combination;{combination})
(IP-REL *ICH*-182))
(BEP;_Ln_ is;{be})
(NP-PRD (D the;{the})
(ADJP (ADVP (ADVS most;{most}))
(ADJ effective;{effective})))
(PUNC ,)
(IP-REL-EPD-182 (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{MOUSE} (D the;{the})
(N mouse;{mouse}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tnt_ used;{use})
(IP-INF3-OB1 (TO to;{to})
(VB;_I_ turn;{turn})))
(PP-SCON (P-CONN while;{while})
(IP-ADV (NP-SBJ;{KEYBOARD} (D the;{the})
(N keyboard;{keyboard}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tnt_ used;{use})
(IP-INF3-OB1 (TO to;{to})
(VB;_Ip_ move;{move[around]})
(ADVP-NIM (RP around;{around})))))))))
(PUNC .))
(ID 23_a_freedoom))
%3
r_0023_0028__move
move
z_0023_5011
r_0023_0028__move->z_0023_5011
[arg0]
r_0023_0029__around
around
r_0023_0028__move->r_0023_0029__around
[nim]
r_0023_0026__used
used
r_0023_0026__used->r_0023_0028__move
[arg1]
z_0023_5014___star_
*
r_0023_0026__used->z_0023_5014___star_
[arg0]
r_0023_0025__is
is
r_0023_0025__is->r_0023_0026__used
[scope]
r_0023_0022__while
while
r_0023_0022__while->r_0023_0025__is
[restriction]
r_0023_0018__is
is
r_0023_0022__while->r_0023_0018__is
[scope]
r_0023_0019__used
used
r_0023_0018__is->r_0023_0019__used
[scope]
r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination
a mouse and keyboard combination
r_0023_0018__is->r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination
[nim]
r_0023_0021__turn
turn
z_0023_5020
r_0023_0021__turn->z_0023_5020
[arg0]
r_0023_0019__used->r_0023_0021__turn
[arg1]
z_0023_5022___star_
*
r_0023_0019__used->z_0023_5022___star_
[arg0]
r_0023_0013__effective
effective
r_0023_0012__most
most
r_0023_0013__effective->r_0023_0012__most
[qual]
r_0023_0011__the
the
r_0023_0011__the->r_0023_0013__effective
[attrib]
r_0023_0010__is
is
r_0023_0010__is->r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination
[arg0]
r_0023_0010__is->r_0023_0011__the
[prd]
r_0023_0003__find
find
r_0023_0003__find->r_0023_0010__is
[arg1]
r_0023_0002__players
players
r_0023_0003__find->r_0023_0002__players
[arg0]
r_0023_0001__Most__quant
Most [quant]
r_0023_0001__Most__quant->r_0023_0003__find
[scope]
r_0023_0001__Most__quant->r_0023_0002__players
[restriction]
arc(r_0023_0001__Most__quant,r_0023_0002__players,restriction).
arc(r_0023_0001__Most__quant,r_0023_0003__find,scope).
arc(r_0023_0003__find,r_0023_0002__players,arg0).
arc(r_0023_0003__find,r_0023_0010__is,arg1).
arc(r_0023_0010__is,r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination,arg0).
arc(r_0023_0010__is,r_0023_0011__the,prd).
arc(r_0023_0011__the,r_0023_0013__effective,attrib).
arc(r_0023_0013__effective,r_0023_0012__most,qual).
arc(r_0023_0018__is,r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination,nim).
arc(r_0023_0018__is,r_0023_0019__used,scope).
arc(r_0023_0019__used,r_0023_0021__turn,arg1).
arc(r_0023_0019__used,z_0023_5022___star_,arg0).
arc(r_0023_0021__turn,z_0023_5020,arg0).
arc(r_0023_0022__while,r_0023_0018__is,scope).
arc(r_0023_0022__while,r_0023_0025__is,restriction).
arc(r_0023_0025__is,r_0023_0026__used,scope).
arc(r_0023_0026__used,r_0023_0028__move,arg1).
arc(r_0023_0026__used,z_0023_5014___star_,arg0).
arc(r_0023_0028__move,r_0023_0029__around,nim).
arc(r_0023_0028__move,z_0023_5011,arg0).
%3
r_0023_0001__Most__quant
Most [quant]
r_0023_0002__players
players
r_0023_0001__Most__quant->r_0023_0002__players
[restriction]
r_0023_0003__find
find
r_0023_0001__Most__quant->r_0023_0003__find
[scope]
r_0023_0003__find->r_0023_0002__players
[arg0]
r_0023_0010__is
is
r_0023_0003__find->r_0023_0010__is
[arg1]
r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination
a mouse and keyboard combination
r_0023_0010__is->r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination
[arg0]
r_0023_0011__the
the
r_0023_0010__is->r_0023_0011__the
[prd]
r_0023_0013__effective
effective
r_0023_0011__the->r_0023_0013__effective
[attrib]
r_0023_0012__most
most
r_0023_0013__effective->r_0023_0012__most
[qual]
r_0023_0018__is_r_0023_0019__used
is used
r_0023_0018__is_r_0023_0019__used->r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination
[nim]
r_0023_0021__turn
turn
r_0023_0018__is_r_0023_0019__used->r_0023_0021__turn
[arg1]
z_0023_5022___star_
*
r_0023_0018__is_r_0023_0019__used->z_0023_5022___star_
[arg0]
z_0023_5020
r_0023_0021__turn->z_0023_5020
[arg0]
r_0023_0022__while
while
r_0023_0022__while->r_0023_0018__is_r_0023_0019__used
[conj2]
r_0023_0025__is_r_0023_0026__used
is used
r_0023_0022__while->r_0023_0025__is_r_0023_0026__used
[conj1]
r_0023_0028__move
move
r_0023_0025__is_r_0023_0026__used->r_0023_0028__move
[arg1]
z_0023_5014___star_
*
r_0023_0025__is_r_0023_0026__used->z_0023_5014___star_
[arg0]
r_0023_0029__around
around
r_0023_0028__move->r_0023_0029__around
[nim]
z_0023_5011
r_0023_0028__move->z_0023_5011
[arg0]
fof(formula,axiom,
? [R_0023_0005__A_R_0023_0006__MOUSE_R_0023_0007__AND_R_0023_0008__KEYBOARD_R_0023_0009__COMBINATION,Z_0023_5020,R_0023_0021__TURN,Z_0023_5022___STAR_,R_0023_0018__IS_R_0023_0019__USED,R_0023_0029__AROUND,Z_0023_5011,R_0023_0028__MOVE,Z_0023_5014___STAR_,R_0023_0025__IS_R_0023_0026__USED,R_0023_0022__WHILE] :
( r_0023_0005__a_r_0023_0006__mouse_r_0023_0007__and_r_0023_0008__keyboard_r_0023_0009__combination(R_0023_0005__A_R_0023_0006__MOUSE_R_0023_0007__AND_R_0023_0008__KEYBOARD_R_0023_0009__COMBINATION)
& r_0023_0029__around(R_0023_0029__AROUND)
& z_0023_5011(Z_0023_5011)
& z_0023_5014___star_(Z_0023_5014___STAR_)
& z_0023_5020(Z_0023_5020)
& z_0023_5022___star_(Z_0023_5022___STAR_)
& r_0023_0022__while(R_0023_0022__WHILE)
& has_conj1(R_0023_0022__WHILE,R_0023_0025__IS_R_0023_0026__USED)
& r_0023_0025__is_r_0023_0026__used(R_0023_0025__IS_R_0023_0026__USED)
& has_arg0(R_0023_0025__IS_R_0023_0026__USED,Z_0023_5014___STAR_)
& has_arg1(R_0023_0025__IS_R_0023_0026__USED,R_0023_0028__MOVE)
& r_0023_0028__move(R_0023_0028__MOVE)
& has_arg0(R_0023_0028__MOVE,Z_0023_5011)
& has_nim(R_0023_0028__MOVE,R_0023_0029__AROUND)
& has_conj2(R_0023_0022__WHILE,R_0023_0018__IS_R_0023_0019__USED)
& r_0023_0018__is_r_0023_0019__used(R_0023_0018__IS_R_0023_0019__USED)
& has_arg0(R_0023_0018__IS_R_0023_0019__USED,Z_0023_5022___STAR_)
& has_arg1(R_0023_0018__IS_R_0023_0019__USED,R_0023_0021__TURN)
& r_0023_0021__turn(R_0023_0021__TURN)
& has_arg0(R_0023_0021__TURN,Z_0023_5020)
& has_nim(R_0023_0018__IS_R_0023_0019__USED,R_0023_0005__A_R_0023_0006__MOUSE_R_0023_0007__AND_R_0023_0008__KEYBOARD_R_0023_0009__COMBINATION)
& ! [R_0023_0002__PLAYERS] :
( r_0023_0002__players(R_0023_0002__PLAYERS)
=> ? [R_0023_0012__MOST,R_0023_0013__EFFECTIVE,R_0023_0011__THE,R_0023_0010__IS,R_0023_0003__FIND] :
( r_0023_0012__most(R_0023_0012__MOST)
& r_0023_0003__find(R_0023_0003__FIND)
& has_arg1(R_0023_0003__FIND,R_0023_0010__IS)
& r_0023_0010__is(R_0023_0010__IS)
& has_prd(R_0023_0010__IS,R_0023_0011__THE)
& r_0023_0011__the(R_0023_0011__THE)
& has_attrib(R_0023_0011__THE,R_0023_0013__EFFECTIVE)
& r_0023_0013__effective(R_0023_0013__EFFECTIVE)
& has_qual(R_0023_0013__EFFECTIVE,R_0023_0012__MOST)
& has_arg0(R_0023_0010__IS,R_0023_0005__A_R_0023_0006__MOUSE_R_0023_0007__AND_R_0023_0008__KEYBOARD_R_0023_0009__COMBINATION)
& has_arg0(R_0023_0003__FIND,R_0023_0002__PLAYERS) ) ) ) ).