40_a_freedoom
%3
r_0040_0001__If
If
r_0040_0002__faced
faced
r_0040_0001__If->r_0040_0002__faced
[restriction]
r_0040_0012__can
can
r_0040_0001__If->r_0040_0012__can
[scope]
r_0040_0004__a_r_0040_0005__crowd
a crowd
r_0040_0002__faced->r_0040_0004__a_r_0040_0005__crowd
with [clr]
z_000_40_a_freedoom_5
r_0040_0002__faced->z_000_40_a_freedoom_5
[arg0]
r_0040_0013__be
be
r_0040_0012__can->r_0040_0013__be
[scope]
r_0040_0007__enemies
enemies
r_0040_0004__a_r_0040_0005__crowd->r_0040_0007__enemies
of
r_0040_0009__an_r_0040_0011__strategy
an strategy
r_0040_0010__effective
effective
r_0040_0009__an_r_0040_0011__strategy->r_0040_0010__effective
[attrib]
r_0040_0013__be->r_0040_0009__an_r_0040_0011__strategy
[arg0]
r_0040_0021__so_that
so that
r_0040_0013__be->r_0040_0021__so_that
[prd]
r_0040_0014__to_r_0040_0015__stand
to stand
r_0040_0021__so_that->r_0040_0014__to_r_0040_0015__stand
[scope]
r_0040_0026__shoot
shoot
r_0040_0021__so_that->r_0040_0026__shoot
[restriction]
r_0040_0018__the_r_0040_0020__place
the place
r_0040_0014__to_r_0040_0015__stand->r_0040_0018__the_r_0040_0020__place
in [clr]
x_000_40_a_freedoom_37
__
r_0040_0014__to_r_0040_0015__stand->x_000_40_a_freedoom_37
[arg0]
r_0040_0017__just
just
r_0040_0018__the_r_0040_0020__place->r_0040_0017__just
[qual]
r_0040_0019__right
right
r_0040_0018__the_r_0040_0020__place->r_0040_0019__right
[attrib]
r_0040_0022__those
those
r_0040_0026__shoot->r_0040_0022__those
[arg0]
r_0040_0027__those
those
r_0040_0026__shoot->r_0040_0027__those
[arg1]
r_0040_0024__the_r_0040_0025__back
the back
r_0040_0022__those->r_0040_0024__the_r_0040_0025__back
at
r_0040_0029__the_r_0040_0030__front
the front
r_0040_0027__those->r_0040_0029__the_r_0040_0030__front
at
arc(r_0040_0001__If, r_0040_0002__faced, restriction).
arc(r_0040_0001__If, r_0040_0012__can, scope).
arc(r_0040_0002__faced, r_0040_0004__a_r_0040_0005__crowd, r_0040_0003__with_clr11).
arc(r_0040_0002__faced, z_000_40_a_freedoom_5, arg0).
arc(r_0040_0004__a_r_0040_0005__crowd, r_0040_0007__enemies, r_0040_0006__of).
arc(r_0040_0009__an_r_0040_0011__strategy, r_0040_0010__effective, attrib27).
arc(r_0040_0012__can, r_0040_0013__be, scope).
arc(r_0040_0013__be, r_0040_0009__an_r_0040_0011__strategy, arg0).
arc(r_0040_0013__be, r_0040_0021__so_that, prd).
arc(r_0040_0014__to_r_0040_0015__stand, r_0040_0018__the_r_0040_0020__place, r_0040_0016__in_clr45).
arc(r_0040_0014__to_r_0040_0015__stand, x_000_40_a_freedoom_37, arg0).
arc(r_0040_0018__the_r_0040_0020__place, r_0040_0017__just, qual46).
arc(r_0040_0018__the_r_0040_0020__place, r_0040_0019__right, attrib51).
arc(r_0040_0021__so_that, r_0040_0014__to_r_0040_0015__stand, scope).
arc(r_0040_0021__so_that, r_0040_0026__shoot, restriction).
arc(r_0040_0022__those, r_0040_0024__the_r_0040_0025__back, r_0040_0023__at).
arc(r_0040_0026__shoot, r_0040_0022__those, arg0).
arc(r_0040_0026__shoot, r_0040_0027__those, arg1).
arc(r_0040_0027__those, r_0040_0029__the_r_0040_0030__front, r_0040_0028__at).
%3
r_0040_0027__those
those
r_0040_0029__the_r_0040_0030__front
the front
r_0040_0027__those->r_0040_0029__the_r_0040_0030__front
at
r_0040_0026__shoot
shoot
r_0040_0026__shoot->r_0040_0027__those
[arg1]
r_0040_0022__those
those
r_0040_0026__shoot->r_0040_0022__those
[arg0]
r_0040_0024__the_r_0040_0025__back
the back
r_0040_0022__those->r_0040_0024__the_r_0040_0025__back
at
r_0040_0021__so_that
so that
r_0040_0021__so_that->r_0040_0026__shoot
[conj1]
r_0040_0014__to_r_0040_0015__stand
to stand
r_0040_0021__so_that->r_0040_0014__to_r_0040_0015__stand
[conj2]
r_0040_0018__the_r_0040_0020__place
the place
r_0040_0014__to_r_0040_0015__stand->r_0040_0018__the_r_0040_0020__place
in [clr]
x_000_40_a_freedoom_37
__
r_0040_0014__to_r_0040_0015__stand->x_000_40_a_freedoom_37
[arg0]
r_0040_0019__right
right
r_0040_0018__the_r_0040_0020__place->r_0040_0019__right
[attrib]
r_0040_0017__just
just
r_0040_0018__the_r_0040_0020__place->r_0040_0017__just
[qual]
r_0040_0012__can_r_0040_0013__be
can be
r_0040_0012__can_r_0040_0013__be->r_0040_0021__so_that
[prd]
r_0040_0009__an_r_0040_0011__strategy
an strategy
r_0040_0012__can_r_0040_0013__be->r_0040_0009__an_r_0040_0011__strategy
[arg0]
r_0040_0010__effective
effective
r_0040_0009__an_r_0040_0011__strategy->r_0040_0010__effective
[attrib]
r_0040_0004__a_r_0040_0005__crowd
a crowd
r_0040_0007__enemies
enemies
r_0040_0004__a_r_0040_0005__crowd->r_0040_0007__enemies
of
r_0040_0002__faced
faced
r_0040_0002__faced->r_0040_0004__a_r_0040_0005__crowd
with [clr]
z_000_40_a_freedoom_5
r_0040_0002__faced->z_000_40_a_freedoom_5
[arg0]
r_0040_0001__If
If
r_0040_0001__If->r_0040_0012__can_r_0040_0013__be
[scope]
r_0040_0001__If->r_0040_0002__faced
[restriction]
fof(formula,axiom,
! [R_40_2_FACED,Z_40_A_FREEDOOM_5,R_40_4_A_CROWD,R_40_7_ENEMIES] :
( ( enemies(R_40_7_ENEMIES)
& faced(R_40_2_FACED,Z_40_A_FREEDOOM_5)
& with_clr11(R_40_2_FACED,R_40_4_A_CROWD)
& a_crowd(R_40_4_A_CROWD)
& of(R_40_4_A_CROWD,R_40_7_ENEMIES) )
=> ? [R_40_12_CAN_BE,R_40_9_AN_STRATEGY,R_40_10_EFFECTIVE,R_40_21_SO_THAT,R_40_26_SHOOT,R_40_22_THOSE,R_40_24_THE_BACK,R_40_27_THOSE,R_40_29_THE_FRONT,R_40_14_TO_STAND,X_40_A_FREEDOOM_37,R_40_18_THE_PLACE,R_40_19_RIGHT,R_40_17_JUST] :
( effective(R_40_10_EFFECTIVE)
& the_back(R_40_24_THE_BACK)
& the_front(R_40_29_THE_FRONT)
& right(R_40_19_RIGHT)
& just(R_40_17_JUST)
& can_be(R_40_12_CAN_BE,R_40_9_AN_STRATEGY,R_40_21_SO_THAT)
& an_strategy(R_40_9_AN_STRATEGY)
& attrib27(R_40_9_AN_STRATEGY,R_40_10_EFFECTIVE)
& so_that(R_40_21_SO_THAT)
& conj1(R_40_21_SO_THAT,R_40_26_SHOOT)
& shoot(R_40_26_SHOOT,R_40_22_THOSE,R_40_27_THOSE)
& those(R_40_22_THOSE)
& at(R_40_22_THOSE,R_40_24_THE_BACK)
& those(R_40_27_THOSE)
& at(R_40_27_THOSE,R_40_29_THE_FRONT)
& conj2(R_40_21_SO_THAT,R_40_14_TO_STAND)
& to_stand(R_40_14_TO_STAND,X_40_A_FREEDOOM_37)
& in_clr45(R_40_14_TO_STAND,R_40_18_THE_PLACE)
& the_place(R_40_18_THE_PLACE)
& attrib51(R_40_18_THE_PLACE,R_40_19_RIGHT)
& qual46(R_40_18_THE_PLACE,R_40_17_JUST) ) ) ).
n40_a_freedoom
n40_a_freedoom__1_1_1_1
If
n40_a_freedoom__1_1_2_1_1
faced
n40_a_freedoom__1_1_2_2_1_1
with
n40_a_freedoom__1_1_2_2_2_1_1
a
n40_a_freedoom__1_1_2_2_2_2_1
crowd
n40_a_freedoom__1_1_2_2_2_3_1_1
of
n40_a_freedoom__1_1_2_2_2_3_2_1_1
enemies
n40_a_freedoom__1_2_1
,
n40_a_freedoom__1_3_1_1
an
n40_a_freedoom__1_3_2_1_1
effective
n40_a_freedoom__1_3_3_1
strategy
n40_a_freedoom__1_4_1
can
n40_a_freedoom__1_5_1_1
be
n40_a_freedoom__1_5_2_1_1
to
n40_a_freedoom__1_5_2_2_1
stand
n40_a_freedoom__1_5_2_3_1_1
in
n40_a_freedoom__1_5_2_3_2_1_1_1
just
n40_a_freedoom__1_5_2_3_2_2_1
the
n40_a_freedoom__1_5_2_3_2_3_1_1
right
n40_a_freedoom__1_5_2_3_2_4_1
place
n40_a_freedoom__1_5_2_4_1_1
so_that
n40_a_freedoom__1_5_2_4_2_1_1_1
those
n40_a_freedoom__1_5_2_4_2_1_2_1_1
at
n40_a_freedoom__1_5_2_4_2_1_2_2_1_1
the
n40_a_freedoom__1_5_2_4_2_1_2_2_2_1
back
n40_a_freedoom__1_5_2_4_2_2_1
shoot
n40_a_freedoom__1_5_2_4_2_3_1_1
those
n40_a_freedoom__1_5_2_4_2_3_2_1_1
at
n40_a_freedoom__1_5_2_4_2_3_2_2_1_1
the
n40_a_freedoom__1_5_2_4_2_3_2_2_2_1
front
n40_a_freedoom__1_6_1
.
n40_a_freedoom__1
IP-MAT
n40_a_freedoom__1_1
PP-SCON
n40_a_freedoom__1->n40_a_freedoom__1_1
n40_a_freedoom__1_2
PUNC
n40_a_freedoom__1->n40_a_freedoom__1_2
n40_a_freedoom__1_3
NP-SBJ
n40_a_freedoom__1->n40_a_freedoom__1_3
n40_a_freedoom__1_4
MD;_cat_Vi_
n40_a_freedoom__1->n40_a_freedoom__1_4
n40_a_freedoom__1_5
IP-INF-CAT
n40_a_freedoom__1->n40_a_freedoom__1_5
n40_a_freedoom__1_6
PUNC
n40_a_freedoom__1->n40_a_freedoom__1_6
n40_a_freedoom__1_1_1
P-CONN
n40_a_freedoom__1_1->n40_a_freedoom__1_1_1
n40_a_freedoom__1_1_2
IP-PPL3
n40_a_freedoom__1_1->n40_a_freedoom__1_1_2
n40_a_freedoom__1_1_1->n40_a_freedoom__1_1_1_1
n40_a_freedoom__1_1_2_1
VVN;_phr_Vpr_
n40_a_freedoom__1_1_2->n40_a_freedoom__1_1_2_1
n40_a_freedoom__1_1_2_2
PP-CLR
n40_a_freedoom__1_1_2->n40_a_freedoom__1_1_2_2
n40_a_freedoom__1_1_2_1->n40_a_freedoom__1_1_2_1_1
n40_a_freedoom__1_1_2_2_1
P-ROLE
n40_a_freedoom__1_1_2_2->n40_a_freedoom__1_1_2_2_1
n40_a_freedoom__1_1_2_2_2
NP
n40_a_freedoom__1_1_2_2->n40_a_freedoom__1_1_2_2_2
n40_a_freedoom__1_1_2_2_1->n40_a_freedoom__1_1_2_2_1_1
n40_a_freedoom__1_1_2_2_2_1
D
n40_a_freedoom__1_1_2_2_2->n40_a_freedoom__1_1_2_2_2_1
n40_a_freedoom__1_1_2_2_2_2
N
n40_a_freedoom__1_1_2_2_2->n40_a_freedoom__1_1_2_2_2_2
n40_a_freedoom__1_1_2_2_2_3
PP
n40_a_freedoom__1_1_2_2_2->n40_a_freedoom__1_1_2_2_2_3
n40_a_freedoom__1_1_2_2_2_1->n40_a_freedoom__1_1_2_2_2_1_1
n40_a_freedoom__1_1_2_2_2_2->n40_a_freedoom__1_1_2_2_2_2_1
n40_a_freedoom__1_1_2_2_2_3_1
P-ROLE
n40_a_freedoom__1_1_2_2_2_3->n40_a_freedoom__1_1_2_2_2_3_1
n40_a_freedoom__1_1_2_2_2_3_2
NP
n40_a_freedoom__1_1_2_2_2_3->n40_a_freedoom__1_1_2_2_2_3_2
n40_a_freedoom__1_1_2_2_2_3_1->n40_a_freedoom__1_1_2_2_2_3_1_1
n40_a_freedoom__1_1_2_2_2_3_2_1
NS
n40_a_freedoom__1_1_2_2_2_3_2->n40_a_freedoom__1_1_2_2_2_3_2_1
n40_a_freedoom__1_1_2_2_2_3_2_1->n40_a_freedoom__1_1_2_2_2_3_2_1_1
n40_a_freedoom__1_2->n40_a_freedoom__1_2_1
n40_a_freedoom__1_3_1
D
n40_a_freedoom__1_3->n40_a_freedoom__1_3_1
n40_a_freedoom__1_3_2
ADJP
n40_a_freedoom__1_3->n40_a_freedoom__1_3_2
n40_a_freedoom__1_3_3
N
n40_a_freedoom__1_3->n40_a_freedoom__1_3_3
n40_a_freedoom__1_3_1->n40_a_freedoom__1_3_1_1
n40_a_freedoom__1_3_2_1
ADJ
n40_a_freedoom__1_3_2->n40_a_freedoom__1_3_2_1
n40_a_freedoom__1_3_2_1->n40_a_freedoom__1_3_2_1_1
n40_a_freedoom__1_3_3->n40_a_freedoom__1_3_3_1
n40_a_freedoom__1_4->n40_a_freedoom__1_4_1
n40_a_freedoom__1_5_1
BE;_equ_Vt_
n40_a_freedoom__1_5->n40_a_freedoom__1_5_1
n40_a_freedoom__1_5_2
IP-INF-PRD
n40_a_freedoom__1_5->n40_a_freedoom__1_5_2
n40_a_freedoom__1_5_1->n40_a_freedoom__1_5_1_1
n40_a_freedoom__1_5_2_1
TO
n40_a_freedoom__1_5_2->n40_a_freedoom__1_5_2_1
n40_a_freedoom__1_5_2_2
VB;_Ipr_
n40_a_freedoom__1_5_2->n40_a_freedoom__1_5_2_2
n40_a_freedoom__1_5_2_3
PP-CLR
n40_a_freedoom__1_5_2->n40_a_freedoom__1_5_2_3
n40_a_freedoom__1_5_2_4
PP-SCON
n40_a_freedoom__1_5_2->n40_a_freedoom__1_5_2_4
n40_a_freedoom__1_5_2_1->n40_a_freedoom__1_5_2_1_1
n40_a_freedoom__1_5_2_2->n40_a_freedoom__1_5_2_2_1
n40_a_freedoom__1_5_2_3_1
P-ROLE
n40_a_freedoom__1_5_2_3->n40_a_freedoom__1_5_2_3_1
n40_a_freedoom__1_5_2_3_2
NP
n40_a_freedoom__1_5_2_3->n40_a_freedoom__1_5_2_3_2
n40_a_freedoom__1_5_2_3_1->n40_a_freedoom__1_5_2_3_1_1
n40_a_freedoom__1_5_2_3_2_1
ADVP
n40_a_freedoom__1_5_2_3_2->n40_a_freedoom__1_5_2_3_2_1
n40_a_freedoom__1_5_2_3_2_2
D
n40_a_freedoom__1_5_2_3_2->n40_a_freedoom__1_5_2_3_2_2
n40_a_freedoom__1_5_2_3_2_3
ADJP
n40_a_freedoom__1_5_2_3_2->n40_a_freedoom__1_5_2_3_2_3
n40_a_freedoom__1_5_2_3_2_4
N
n40_a_freedoom__1_5_2_3_2->n40_a_freedoom__1_5_2_3_2_4
n40_a_freedoom__1_5_2_3_2_1_1
ADV
n40_a_freedoom__1_5_2_3_2_1->n40_a_freedoom__1_5_2_3_2_1_1
n40_a_freedoom__1_5_2_3_2_1_1->n40_a_freedoom__1_5_2_3_2_1_1_1
n40_a_freedoom__1_5_2_3_2_2->n40_a_freedoom__1_5_2_3_2_2_1
n40_a_freedoom__1_5_2_3_2_3_1
ADJ
n40_a_freedoom__1_5_2_3_2_3->n40_a_freedoom__1_5_2_3_2_3_1
n40_a_freedoom__1_5_2_3_2_3_1->n40_a_freedoom__1_5_2_3_2_3_1_1
n40_a_freedoom__1_5_2_3_2_4->n40_a_freedoom__1_5_2_3_2_4_1
n40_a_freedoom__1_5_2_4_1
P-CONN
n40_a_freedoom__1_5_2_4->n40_a_freedoom__1_5_2_4_1
n40_a_freedoom__1_5_2_4_2
IP-ADV
n40_a_freedoom__1_5_2_4->n40_a_freedoom__1_5_2_4_2
n40_a_freedoom__1_5_2_4_1->n40_a_freedoom__1_5_2_4_1_1
n40_a_freedoom__1_5_2_4_2_1
NP-SBJ
n40_a_freedoom__1_5_2_4_2->n40_a_freedoom__1_5_2_4_2_1
n40_a_freedoom__1_5_2_4_2_2
VBP;_Tn_
n40_a_freedoom__1_5_2_4_2->n40_a_freedoom__1_5_2_4_2_2
n40_a_freedoom__1_5_2_4_2_3
NP-OB1
n40_a_freedoom__1_5_2_4_2->n40_a_freedoom__1_5_2_4_2_3
n40_a_freedoom__1_5_2_4_2_1_1
D;_nphd_
n40_a_freedoom__1_5_2_4_2_1->n40_a_freedoom__1_5_2_4_2_1_1
n40_a_freedoom__1_5_2_4_2_1_2
PP
n40_a_freedoom__1_5_2_4_2_1->n40_a_freedoom__1_5_2_4_2_1_2
n40_a_freedoom__1_5_2_4_2_1_1->n40_a_freedoom__1_5_2_4_2_1_1_1
n40_a_freedoom__1_5_2_4_2_1_2_1
P-ROLE
n40_a_freedoom__1_5_2_4_2_1_2->n40_a_freedoom__1_5_2_4_2_1_2_1
n40_a_freedoom__1_5_2_4_2_1_2_2
NP
n40_a_freedoom__1_5_2_4_2_1_2->n40_a_freedoom__1_5_2_4_2_1_2_2
n40_a_freedoom__1_5_2_4_2_1_2_1->n40_a_freedoom__1_5_2_4_2_1_2_1_1
n40_a_freedoom__1_5_2_4_2_1_2_2_1
D
n40_a_freedoom__1_5_2_4_2_1_2_2->n40_a_freedoom__1_5_2_4_2_1_2_2_1
n40_a_freedoom__1_5_2_4_2_1_2_2_2
N
n40_a_freedoom__1_5_2_4_2_1_2_2->n40_a_freedoom__1_5_2_4_2_1_2_2_2
n40_a_freedoom__1_5_2_4_2_1_2_2_1->n40_a_freedoom__1_5_2_4_2_1_2_2_1_1
n40_a_freedoom__1_5_2_4_2_1_2_2_2->n40_a_freedoom__1_5_2_4_2_1_2_2_2_1
n40_a_freedoom__1_5_2_4_2_2->n40_a_freedoom__1_5_2_4_2_2_1
n40_a_freedoom__1_5_2_4_2_3_1
D;_nphd_
n40_a_freedoom__1_5_2_4_2_3->n40_a_freedoom__1_5_2_4_2_3_1
n40_a_freedoom__1_5_2_4_2_3_2
PP
n40_a_freedoom__1_5_2_4_2_3->n40_a_freedoom__1_5_2_4_2_3_2
n40_a_freedoom__1_5_2_4_2_3_1->n40_a_freedoom__1_5_2_4_2_3_1_1
n40_a_freedoom__1_5_2_4_2_3_2_1
P-ROLE
n40_a_freedoom__1_5_2_4_2_3_2->n40_a_freedoom__1_5_2_4_2_3_2_1
n40_a_freedoom__1_5_2_4_2_3_2_2
NP
n40_a_freedoom__1_5_2_4_2_3_2->n40_a_freedoom__1_5_2_4_2_3_2_2
n40_a_freedoom__1_5_2_4_2_3_2_1->n40_a_freedoom__1_5_2_4_2_3_2_1_1
n40_a_freedoom__1_5_2_4_2_3_2_2_1
D
n40_a_freedoom__1_5_2_4_2_3_2_2->n40_a_freedoom__1_5_2_4_2_3_2_2_1
n40_a_freedoom__1_5_2_4_2_3_2_2_2
N
n40_a_freedoom__1_5_2_4_2_3_2_2->n40_a_freedoom__1_5_2_4_2_3_2_2_2
n40_a_freedoom__1_5_2_4_2_3_2_2_1->n40_a_freedoom__1_5_2_4_2_3_2_2_1_1
n40_a_freedoom__1_5_2_4_2_3_2_2_2->n40_a_freedoom__1_5_2_4_2_3_2_2_2_1
n40_a_freedoom__1_6->n40_a_freedoom__1_6_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
(IP-PPL3 (VVN;_phr_Vpr_ faced;{face[with]})
(PP-CLR (P-ROLE with;{with})
(NP;{CROWD} (D a;{a})
(N crowd;{crowd})
(PP (P-ROLE of;{of})
(NP (NS enemies;{enemy})))))))
(PUNC ,)
(NP-SBJ (D an;{an})
(ADJP (ADJ effective;{effective}))
(N strategy;{strategy}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (BE;_equ_Vt_ be;{be})
(IP-INF-PRD;{STAND} (TO to;{to})
(VB;_Ipr_ stand;{stand[in]})
(PP-CLR (P-ROLE in;{in})
(NP (ADVP (ADV just;{just}))
(D the;{the})
(ADJP (ADJ right;{right}))
(N place;{place})))
(PP-SCON (P-CONN so_that;{so_that})
(IP-ADV (NP-SBJ (D;_nphd_ those;{those})
(PP (P-ROLE at;{at})
(NP (D the;{the})
(N back;{back}))))
(VBP;_Tn_ shoot;{shoot})
(NP-OB1 (D;_nphd_ those;{those})
(PP (P-ROLE at;{at})
(NP (D the;{the})
(N front;{front}))))))))
(PUNC .))
(ID 40_a_freedoom))