2_a_driver_handbook
n2_a_driver_handbook
n2_a_driver_handbook__1_1_1_1
When
n2_a_driver_handbook__1_1_2_1_1_1
two
n2_a_driver_handbook__1_1_2_1_2_1
vehicles
n2_a_driver_handbook__1_1_2_2_1
meet
n2_a_driver_handbook__1_1_2_3_1_1
on
n2_a_driver_handbook__1_1_2_3_2_1_1
a
n2_a_driver_handbook__1_1_2_3_2_2_1_1
steep
n2_a_driver_handbook__1_1_2_3_2_3_1
road
n2_a_driver_handbook__1_1_2_3_2_4_1_1_1
where
n2_a_driver_handbook__1_1_2_3_2_4_2_1_1
neither
n2_a_driver_handbook__1_1_2_3_2_4_3_1
can
n2_a_driver_handbook__1_1_2_3_2_4_4_1_1
pass
n2_a_driver_handbook__1_2_1
,
n2_a_driver_handbook__1_3_1_1
the
n2_a_driver_handbook__1_3_2_1
vehicle
n2_a_driver_handbook__1_3_3_1_1
facing
n2_a_driver_handbook__1_3_3_2_1_1
downhill
n2_a_driver_handbook__1_4_1
must
n2_a_driver_handbook__1_5_1_1
yield
n2_a_driver_handbook__1_5_2_1_1
the
n2_a_driver_handbook__1_5_2_2_1
right
n2_a_driver_handbook__1_5_2_3_1
-
n2_a_driver_handbook__1_5_2_4_1_1
of
n2_a_driver_handbook__1_5_2_4_2_1
-
n2_a_driver_handbook__1_5_2_4_3_1_1
way
n2_a_driver_handbook__1_6_1_1
by
n2_a_driver_handbook__1_6_2_1_1
backing
n2_a_driver_handbook__1_6_2_2_1
up
n2_a_driver_handbook__1_6_2_3_1_1
until
n2_a_driver_handbook__1_6_2_3_2_1_1_1
the
n2_a_driver_handbook__1_6_2_3_2_1_2_1
vehicle
n2_a_driver_handbook__1_6_2_3_2_1_3_1_1
going
n2_a_driver_handbook__1_6_2_3_2_1_3_2_1_1
uphill
n2_a_driver_handbook__1_6_2_3_2_2_1
can
n2_a_driver_handbook__1_6_2_3_2_3_1_1
pass
n2_a_driver_handbook__1_7_1
.
n2_a_driver_handbook__1
IP-MAT
n2_a_driver_handbook__1_1
PP-SCON
n2_a_driver_handbook__1->n2_a_driver_handbook__1_1
n2_a_driver_handbook__1_2
PUNC
n2_a_driver_handbook__1->n2_a_driver_handbook__1_2
n2_a_driver_handbook__1_3
NP-SBJ
n2_a_driver_handbook__1->n2_a_driver_handbook__1_3
n2_a_driver_handbook__1_4
MD;_cat_Vi_
n2_a_driver_handbook__1->n2_a_driver_handbook__1_4
n2_a_driver_handbook__1_5
IP-INF-CAT
n2_a_driver_handbook__1->n2_a_driver_handbook__1_5
n2_a_driver_handbook__1_6
PP-SCON
n2_a_driver_handbook__1->n2_a_driver_handbook__1_6
n2_a_driver_handbook__1_7
PUNC
n2_a_driver_handbook__1->n2_a_driver_handbook__1_7
n2_a_driver_handbook__1_1_1
P-CONN
n2_a_driver_handbook__1_1->n2_a_driver_handbook__1_1_1
n2_a_driver_handbook__1_1_2
IP-ADV
n2_a_driver_handbook__1_1->n2_a_driver_handbook__1_1_2
n2_a_driver_handbook__1_1_1->n2_a_driver_handbook__1_1_1_1
n2_a_driver_handbook__1_1_2_1
NP-SBJ
n2_a_driver_handbook__1_1_2->n2_a_driver_handbook__1_1_2_1
n2_a_driver_handbook__1_1_2_2
VBP;_I_
n2_a_driver_handbook__1_1_2->n2_a_driver_handbook__1_1_2_2
n2_a_driver_handbook__1_1_2_3
PP-NIM
n2_a_driver_handbook__1_1_2->n2_a_driver_handbook__1_1_2_3
n2_a_driver_handbook__1_1_2_1_1
NUM
n2_a_driver_handbook__1_1_2_1->n2_a_driver_handbook__1_1_2_1_1
n2_a_driver_handbook__1_1_2_1_2
NS
n2_a_driver_handbook__1_1_2_1->n2_a_driver_handbook__1_1_2_1_2
n2_a_driver_handbook__1_1_2_1_1->n2_a_driver_handbook__1_1_2_1_1_1
n2_a_driver_handbook__1_1_2_1_2->n2_a_driver_handbook__1_1_2_1_2_1
n2_a_driver_handbook__1_1_2_2->n2_a_driver_handbook__1_1_2_2_1
n2_a_driver_handbook__1_1_2_3_1
P-ROLE
n2_a_driver_handbook__1_1_2_3->n2_a_driver_handbook__1_1_2_3_1
n2_a_driver_handbook__1_1_2_3_2
NP
n2_a_driver_handbook__1_1_2_3->n2_a_driver_handbook__1_1_2_3_2
n2_a_driver_handbook__1_1_2_3_1->n2_a_driver_handbook__1_1_2_3_1_1
n2_a_driver_handbook__1_1_2_3_2_1
D
n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_1
n2_a_driver_handbook__1_1_2_3_2_2
ADJP
n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_2
n2_a_driver_handbook__1_1_2_3_2_3
N
n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_3
n2_a_driver_handbook__1_1_2_3_2_4
IP-REL
n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_4
n2_a_driver_handbook__1_1_2_3_2_1->n2_a_driver_handbook__1_1_2_3_2_1_1
n2_a_driver_handbook__1_1_2_3_2_2_1
ADJ
n2_a_driver_handbook__1_1_2_3_2_2->n2_a_driver_handbook__1_1_2_3_2_2_1
n2_a_driver_handbook__1_1_2_3_2_2_1->n2_a_driver_handbook__1_1_2_3_2_2_1_1
n2_a_driver_handbook__1_1_2_3_2_3->n2_a_driver_handbook__1_1_2_3_2_3_1
n2_a_driver_handbook__1_1_2_3_2_4_1
ADVP-NIM
n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_1
n2_a_driver_handbook__1_1_2_3_2_4_2
NP-SBJ
n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_2
n2_a_driver_handbook__1_1_2_3_2_4_3
MD;_cat_Vi_
n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_3
n2_a_driver_handbook__1_1_2_3_2_4_4
IP-INF-CAT
n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_4
n2_a_driver_handbook__1_1_2_3_2_4_1_1
RADV
n2_a_driver_handbook__1_1_2_3_2_4_1->n2_a_driver_handbook__1_1_2_3_2_4_1_1
n2_a_driver_handbook__1_1_2_3_2_4_1_1->n2_a_driver_handbook__1_1_2_3_2_4_1_1_1
n2_a_driver_handbook__1_1_2_3_2_4_2_1
Q;_nphd_
n2_a_driver_handbook__1_1_2_3_2_4_2->n2_a_driver_handbook__1_1_2_3_2_4_2_1
n2_a_driver_handbook__1_1_2_3_2_4_2_1->n2_a_driver_handbook__1_1_2_3_2_4_2_1_1
n2_a_driver_handbook__1_1_2_3_2_4_3->n2_a_driver_handbook__1_1_2_3_2_4_3_1
n2_a_driver_handbook__1_1_2_3_2_4_4_1
VB;_I_
n2_a_driver_handbook__1_1_2_3_2_4_4->n2_a_driver_handbook__1_1_2_3_2_4_4_1
n2_a_driver_handbook__1_1_2_3_2_4_4_1->n2_a_driver_handbook__1_1_2_3_2_4_4_1_1
n2_a_driver_handbook__1_2->n2_a_driver_handbook__1_2_1
n2_a_driver_handbook__1_3_1
D
n2_a_driver_handbook__1_3->n2_a_driver_handbook__1_3_1
n2_a_driver_handbook__1_3_2
N
n2_a_driver_handbook__1_3->n2_a_driver_handbook__1_3_2
n2_a_driver_handbook__1_3_3
IP-PPL
n2_a_driver_handbook__1_3->n2_a_driver_handbook__1_3_3
n2_a_driver_handbook__1_3_1->n2_a_driver_handbook__1_3_1_1
n2_a_driver_handbook__1_3_2->n2_a_driver_handbook__1_3_2_1
n2_a_driver_handbook__1_3_3_1
VAG;_Ip_
n2_a_driver_handbook__1_3_3->n2_a_driver_handbook__1_3_3_1
n2_a_driver_handbook__1_3_3_2
ADVP-CLR
n2_a_driver_handbook__1_3_3->n2_a_driver_handbook__1_3_3_2
n2_a_driver_handbook__1_3_3_1->n2_a_driver_handbook__1_3_3_1_1
n2_a_driver_handbook__1_3_3_2_1
ADV
n2_a_driver_handbook__1_3_3_2->n2_a_driver_handbook__1_3_3_2_1
n2_a_driver_handbook__1_3_3_2_1->n2_a_driver_handbook__1_3_3_2_1_1
n2_a_driver_handbook__1_4->n2_a_driver_handbook__1_4_1
n2_a_driver_handbook__1_5_1
VB;_Tn_
n2_a_driver_handbook__1_5->n2_a_driver_handbook__1_5_1
n2_a_driver_handbook__1_5_2
NP-OB1
n2_a_driver_handbook__1_5->n2_a_driver_handbook__1_5_2
n2_a_driver_handbook__1_5_1->n2_a_driver_handbook__1_5_1_1
n2_a_driver_handbook__1_5_2_1
D
n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_1
n2_a_driver_handbook__1_5_2_2
N
n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_2
n2_a_driver_handbook__1_5_2_3
PUNC
n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_3
n2_a_driver_handbook__1_5_2_4
PP
n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_4
n2_a_driver_handbook__1_5_2_1->n2_a_driver_handbook__1_5_2_1_1
n2_a_driver_handbook__1_5_2_2->n2_a_driver_handbook__1_5_2_2_1
n2_a_driver_handbook__1_5_2_3->n2_a_driver_handbook__1_5_2_3_1
n2_a_driver_handbook__1_5_2_4_1
P-ROLE
n2_a_driver_handbook__1_5_2_4->n2_a_driver_handbook__1_5_2_4_1
n2_a_driver_handbook__1_5_2_4_2
PUNC
n2_a_driver_handbook__1_5_2_4->n2_a_driver_handbook__1_5_2_4_2
n2_a_driver_handbook__1_5_2_4_3
NP
n2_a_driver_handbook__1_5_2_4->n2_a_driver_handbook__1_5_2_4_3
n2_a_driver_handbook__1_5_2_4_1->n2_a_driver_handbook__1_5_2_4_1_1
n2_a_driver_handbook__1_5_2_4_2->n2_a_driver_handbook__1_5_2_4_2_1
n2_a_driver_handbook__1_5_2_4_3_1
N
n2_a_driver_handbook__1_5_2_4_3->n2_a_driver_handbook__1_5_2_4_3_1
n2_a_driver_handbook__1_5_2_4_3_1->n2_a_driver_handbook__1_5_2_4_3_1_1
n2_a_driver_handbook__1_6_1
P-CONN
n2_a_driver_handbook__1_6->n2_a_driver_handbook__1_6_1
n2_a_driver_handbook__1_6_2
IP-PPL
n2_a_driver_handbook__1_6->n2_a_driver_handbook__1_6_2
n2_a_driver_handbook__1_6_1->n2_a_driver_handbook__1_6_1_1
n2_a_driver_handbook__1_6_2_1
VAG;_phr_Vp_
n2_a_driver_handbook__1_6_2->n2_a_driver_handbook__1_6_2_1
n2_a_driver_handbook__1_6_2_2
RP
n2_a_driver_handbook__1_6_2->n2_a_driver_handbook__1_6_2_2
n2_a_driver_handbook__1_6_2_3
PP-SCON
n2_a_driver_handbook__1_6_2->n2_a_driver_handbook__1_6_2_3
n2_a_driver_handbook__1_6_2_1->n2_a_driver_handbook__1_6_2_1_1
n2_a_driver_handbook__1_6_2_2->n2_a_driver_handbook__1_6_2_2_1
n2_a_driver_handbook__1_6_2_3_1
P-CONN
n2_a_driver_handbook__1_6_2_3->n2_a_driver_handbook__1_6_2_3_1
n2_a_driver_handbook__1_6_2_3_2
IP-ADV
n2_a_driver_handbook__1_6_2_3->n2_a_driver_handbook__1_6_2_3_2
n2_a_driver_handbook__1_6_2_3_1->n2_a_driver_handbook__1_6_2_3_1_1
n2_a_driver_handbook__1_6_2_3_2_1
NP-SBJ
n2_a_driver_handbook__1_6_2_3_2->n2_a_driver_handbook__1_6_2_3_2_1
n2_a_driver_handbook__1_6_2_3_2_2
MD;_cat_Vi_
n2_a_driver_handbook__1_6_2_3_2->n2_a_driver_handbook__1_6_2_3_2_2
n2_a_driver_handbook__1_6_2_3_2_3
IP-INF-CAT
n2_a_driver_handbook__1_6_2_3_2->n2_a_driver_handbook__1_6_2_3_2_3
n2_a_driver_handbook__1_6_2_3_2_1_1
D
n2_a_driver_handbook__1_6_2_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_1
n2_a_driver_handbook__1_6_2_3_2_1_2
N
n2_a_driver_handbook__1_6_2_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_2
n2_a_driver_handbook__1_6_2_3_2_1_3
IP-PPL
n2_a_driver_handbook__1_6_2_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_3
n2_a_driver_handbook__1_6_2_3_2_1_1->n2_a_driver_handbook__1_6_2_3_2_1_1_1
n2_a_driver_handbook__1_6_2_3_2_1_2->n2_a_driver_handbook__1_6_2_3_2_1_2_1
n2_a_driver_handbook__1_6_2_3_2_1_3_1
VAG;_Ip_
n2_a_driver_handbook__1_6_2_3_2_1_3->n2_a_driver_handbook__1_6_2_3_2_1_3_1
n2_a_driver_handbook__1_6_2_3_2_1_3_2
ADVP-CLR
n2_a_driver_handbook__1_6_2_3_2_1_3->n2_a_driver_handbook__1_6_2_3_2_1_3_2
n2_a_driver_handbook__1_6_2_3_2_1_3_1->n2_a_driver_handbook__1_6_2_3_2_1_3_1_1
n2_a_driver_handbook__1_6_2_3_2_1_3_2_1
ADV
n2_a_driver_handbook__1_6_2_3_2_1_3_2->n2_a_driver_handbook__1_6_2_3_2_1_3_2_1
n2_a_driver_handbook__1_6_2_3_2_1_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_3_2_1_1
n2_a_driver_handbook__1_6_2_3_2_2->n2_a_driver_handbook__1_6_2_3_2_2_1
n2_a_driver_handbook__1_6_2_3_2_3_1
VB;_I_
n2_a_driver_handbook__1_6_2_3_2_3->n2_a_driver_handbook__1_6_2_3_2_3_1
n2_a_driver_handbook__1_6_2_3_2_3_1->n2_a_driver_handbook__1_6_2_3_2_3_1_1
n2_a_driver_handbook__1_7->n2_a_driver_handbook__1_7_1
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ;{VEHICLE} (NUM two;{two})
(NS vehicles;{vehicle}))
(VBP;_I_ meet;{meet})
(PP-NIM (P-ROLE on;{on})
(NP (D a;{a})
(ADJP (ADJ steep;{steep}))
(N road;{road})
(IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{VEHICLE} (Q;_nphd_ neither;{neither}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_I_ pass;{pass})))))))
(PUNC ,)
(NP-SBJ;{DOWNHILL_VEHICLE} (D the;{the})
(N vehicle;{vehicle})
(IP-PPL (VAG;_Ip_ facing;{face[downhill]})
(ADVP-CLR (ADV downhill;{downhill}))))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (VB;_Tn_ yield;{yield})
(NP-OB1 (D the;{the})
(N right;{right})
(PUNC <hyphen>)
(PP (P-ROLE of;{of})
(PUNC <hyphen>)
(NP (N way;{way})))))
(PP-SCON (P-CONN by;{by})
(IP-PPL (VAG;_phr_Vp_ backing;{back[up]})
(RP up;{up})
(PP-SCON (P-CONN until;{until})
(IP-ADV (NP-SBJ (D the;{the})
(N vehicle;{vehicle})
(IP-PPL (VAG;_Ip_ going;{go[uphill]})
(ADVP-CLR (ADV uphill;{uphill}))))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_I_ pass;{pass}))))))
(PUNC .))
(ID 2_a_driver_handbook))
%3
r_0002_0035__pass
pass
r_0002_0030__the_r_0002_0031__vehicle
the vehicle
r_0002_0035__pass->r_0002_0030__the_r_0002_0031__vehicle
[arg0]
r_0002_0034__can
can
r_0002_0034__can->r_0002_0035__pass
[scope]
r_0002_0032__going_r_0002_0033__uphill
going uphill
r_0002_0032__going_r_0002_0033__uphill->r_0002_0030__the_r_0002_0031__vehicle
[inv_arg0]
r_0002_0029__until
until
r_0002_0029__until->r_0002_0034__can
[restriction]
r_0002_0027__backing_r_0002_0028__up
backing up
r_0002_0029__until->r_0002_0027__backing_r_0002_0028__up
[scope]
r_0002_0014__the_r_0002_0015__vehicle
the vehicle
r_0002_0027__backing_r_0002_0028__up->r_0002_0014__the_r_0002_0015__vehicle
[arg0]
r_0002_0026__by
by
r_0002_0026__by->r_0002_0029__until
[restriction]
r_0002_0018__must
must
r_0002_0026__by->r_0002_0018__must
[scope]
r_0002_0019__yield
yield
r_0002_0018__must->r_0002_0019__yield
[scope]
r_0002_0020__the_r_0002_0021__right
the right
r_0002_0025__way
way
r_0002_0020__the_r_0002_0021__right->r_0002_0025__way
of
r_0002_0019__yield->r_0002_0014__the_r_0002_0015__vehicle
[arg0]
r_0002_0019__yield->r_0002_0020__the_r_0002_0021__right
[arg1]
r_0002_0016__facing_r_0002_0017__downhill
facing downhill
r_0002_0016__facing_r_0002_0017__downhill->r_0002_0014__the_r_0002_0015__vehicle
[inv_arg0]
r_0002_0012__pass
pass
z_0002_5007
r_0002_0012__pass->z_0002_5007
[arg0]
r_0002_0011__can
can
r_0002_0011__can->r_0002_0012__pass
[scope]
r_0002_0006__a_r_0002_0008__road
a road
r_0002_0011__can->r_0002_0006__a_r_0002_0008__road
[nim]
r_0002_0007__steep
steep
r_0002_0006__a_r_0002_0008__road->r_0002_0007__steep
[attrib]
r_0002_0010__neither__quant
neither [quant]
r_0002_0010__neither__quant->z_0002_5007
[restriction]
r_0002_0010__neither__quant->r_0002_0011__can
[scope]
r_0002_0004__meet
meet
r_0002_0004__meet->r_0002_0006__a_r_0002_0008__road
on [nim]
r_0002_0002__two_r_0002_0003__vehicles
two vehicles
r_0002_0004__meet->r_0002_0002__two_r_0002_0003__vehicles
[arg0]
r_0002_0001__When
When
r_0002_0001__When->r_0002_0026__by
[scope]
r_0002_0001__When->r_0002_0004__meet
[restriction]
arc(r_0002_0001__When,r_0002_0004__meet,restriction).
arc(r_0002_0001__When,r_0002_0026__by,scope).
arc(r_0002_0004__meet,r_0002_0002__two_r_0002_0003__vehicles,arg0).
arc(r_0002_0004__meet,r_0002_0006__a_r_0002_0008__road,r_0002_0005__on__nim).
arc(r_0002_0006__a_r_0002_0008__road,r_0002_0007__steep,attrib).
arc(r_0002_0010__neither__quant,r_0002_0011__can,scope).
arc(r_0002_0010__neither__quant,z_0002_5007,restriction).
arc(r_0002_0011__can,r_0002_0006__a_r_0002_0008__road,nim).
arc(r_0002_0011__can,r_0002_0012__pass,scope).
arc(r_0002_0012__pass,z_0002_5007,arg0).
arc(r_0002_0016__facing_r_0002_0017__downhill,r_0002_0014__the_r_0002_0015__vehicle,inv_arg0).
arc(r_0002_0018__must,r_0002_0019__yield,scope).
arc(r_0002_0019__yield,r_0002_0014__the_r_0002_0015__vehicle,arg0).
arc(r_0002_0019__yield,r_0002_0020__the_r_0002_0021__right,arg1).
arc(r_0002_0020__the_r_0002_0021__right,r_0002_0025__way,r_0002_0023__of).
arc(r_0002_0026__by,r_0002_0018__must,scope).
arc(r_0002_0026__by,r_0002_0029__until,restriction).
arc(r_0002_0027__backing_r_0002_0028__up,r_0002_0014__the_r_0002_0015__vehicle,arg0).
arc(r_0002_0029__until,r_0002_0027__backing_r_0002_0028__up,scope).
arc(r_0002_0029__until,r_0002_0034__can,restriction).
arc(r_0002_0032__going_r_0002_0033__uphill,r_0002_0030__the_r_0002_0031__vehicle,inv_arg0).
arc(r_0002_0034__can,r_0002_0035__pass,scope).
arc(r_0002_0035__pass,r_0002_0030__the_r_0002_0031__vehicle,arg0).
%3
r_0002_0001__When
When
r_0002_0004__meet
meet
r_0002_0001__When->r_0002_0004__meet
[restriction]
r_0002_0026__by
by
r_0002_0001__When->r_0002_0026__by
[scope]
r_0002_0002__two_r_0002_0003__vehicles
two vehicles
r_0002_0004__meet->r_0002_0002__two_r_0002_0003__vehicles
[arg0]
r_0002_0006__a_r_0002_0008__road
a road
r_0002_0004__meet->r_0002_0006__a_r_0002_0008__road
on [nim]
r_0002_0018__must_r_0002_0019__yield
must yield
r_0002_0026__by->r_0002_0018__must_r_0002_0019__yield
[conj2]
r_0002_0029__until
until
r_0002_0026__by->r_0002_0029__until
[conj1]
r_0002_0007__steep
steep
r_0002_0006__a_r_0002_0008__road->r_0002_0007__steep
[attrib]
r_0002_0010__neither__quant
neither [quant]
r_0002_0011__can_r_0002_0012__pass
can pass
r_0002_0010__neither__quant->r_0002_0011__can_r_0002_0012__pass
[scope]
z_0002_5007
r_0002_0010__neither__quant->z_0002_5007
[restriction]
r_0002_0011__can_r_0002_0012__pass->r_0002_0006__a_r_0002_0008__road
[nim]
r_0002_0011__can_r_0002_0012__pass->z_0002_5007
[arg0]
r_0002_0014__the_r_0002_0015__vehicle
the vehicle
r_0002_0016__facing_r_0002_0017__downhill
facing downhill
r_0002_0014__the_r_0002_0015__vehicle->r_0002_0016__facing_r_0002_0017__downhill
[inv_arg0]
r_0002_0018__must_r_0002_0019__yield->r_0002_0014__the_r_0002_0015__vehicle
[arg0]
r_0002_0020__the_r_0002_0021__right
the right
r_0002_0018__must_r_0002_0019__yield->r_0002_0020__the_r_0002_0021__right
[arg1]
r_0002_0025__way
way
r_0002_0020__the_r_0002_0021__right->r_0002_0025__way
of
r_0002_0027__backing_r_0002_0028__up
backing up
r_0002_0029__until->r_0002_0027__backing_r_0002_0028__up
[conj2]
r_0002_0034__can_r_0002_0035__pass
can pass
r_0002_0029__until->r_0002_0034__can_r_0002_0035__pass
[conj1]
r_0002_0027__backing_r_0002_0028__up->r_0002_0014__the_r_0002_0015__vehicle
[arg0]
r_0002_0030__the_r_0002_0031__vehicle
the vehicle
r_0002_0034__can_r_0002_0035__pass->r_0002_0030__the_r_0002_0031__vehicle
[arg0]
r_0002_0032__going_r_0002_0033__uphill
going uphill
r_0002_0030__the_r_0002_0031__vehicle->r_0002_0032__going_r_0002_0033__uphill
[inv_arg0]
fof(formula,axiom,
( ! [Z_0002_5007] :
( z_0002_5007(Z_0002_5007)
=> ? [R_0002_0007__STEEP,R_0002_0006__A_R_0002_0008__ROAD,R_0002_0011__CAN_R_0002_0012__PASS] :
( r_0002_0007__steep(R_0002_0007__STEEP)
& r_0002_0011__can_r_0002_0012__pass(R_0002_0011__CAN_R_0002_0012__PASS)
& has_arg0(R_0002_0011__CAN_R_0002_0012__PASS,Z_0002_5007)
& has_nim(R_0002_0011__CAN_R_0002_0012__PASS,R_0002_0006__A_R_0002_0008__ROAD)
& r_0002_0006__a_r_0002_0008__road(R_0002_0006__A_R_0002_0008__ROAD)
& has_attrib(R_0002_0006__A_R_0002_0008__ROAD,R_0002_0007__STEEP) ) )
& ! [R_0002_0004__MEET,R_0002_0002__TWO_R_0002_0003__VEHICLES,R_0002_0007__STEEP,R_0002_0006__A_R_0002_0008__ROAD] :
( ( r_0002_0002__two_r_0002_0003__vehicles(R_0002_0002__TWO_R_0002_0003__VEHICLES)
& r_0002_0007__steep(R_0002_0007__STEEP)
& r_0002_0004__meet(R_0002_0004__MEET)
& has_r_0002_0005__on__nim(R_0002_0004__MEET,R_0002_0006__A_R_0002_0008__ROAD)
& r_0002_0006__a_r_0002_0008__road(R_0002_0006__A_R_0002_0008__ROAD)
& has_attrib(R_0002_0006__A_R_0002_0008__ROAD,R_0002_0007__STEEP)
& has_arg0(R_0002_0004__MEET,R_0002_0002__TWO_R_0002_0003__VEHICLES) )
=> ? [R_0002_0016__FACING_R_0002_0017__DOWNHILL,R_0002_0014__THE_R_0002_0015__VEHICLE,R_0002_0025__WAY,R_0002_0020__THE_R_0002_0021__RIGHT,R_0002_0018__MUST_R_0002_0019__YIELD,R_0002_0027__BACKING_R_0002_0028__UP,R_0002_0032__GOING_R_0002_0033__UPHILL,R_0002_0030__THE_R_0002_0031__VEHICLE,R_0002_0034__CAN_R_0002_0035__PASS,R_0002_0029__UNTIL,R_0002_0026__BY] :
( r_0002_0016__facing_r_0002_0017__downhill(R_0002_0016__FACING_R_0002_0017__DOWNHILL)
& r_0002_0025__way(R_0002_0025__WAY)
& r_0002_0032__going_r_0002_0033__uphill(R_0002_0032__GOING_R_0002_0033__UPHILL)
& r_0002_0026__by(R_0002_0026__BY)
& has_conj1(R_0002_0026__BY,R_0002_0029__UNTIL)
& r_0002_0029__until(R_0002_0029__UNTIL)
& has_conj1(R_0002_0029__UNTIL,R_0002_0034__CAN_R_0002_0035__PASS)
& r_0002_0034__can_r_0002_0035__pass(R_0002_0034__CAN_R_0002_0035__PASS)
& has_arg0(R_0002_0034__CAN_R_0002_0035__PASS,R_0002_0030__THE_R_0002_0031__VEHICLE)
& r_0002_0030__the_r_0002_0031__vehicle(R_0002_0030__THE_R_0002_0031__VEHICLE)
& has_inv_arg0(R_0002_0030__THE_R_0002_0031__VEHICLE,R_0002_0032__GOING_R_0002_0033__UPHILL)
& has_conj2(R_0002_0029__UNTIL,R_0002_0027__BACKING_R_0002_0028__UP)
& r_0002_0027__backing_r_0002_0028__up(R_0002_0027__BACKING_R_0002_0028__UP)
& has_arg0(R_0002_0027__BACKING_R_0002_0028__UP,R_0002_0014__THE_R_0002_0015__VEHICLE)
& r_0002_0014__the_r_0002_0015__vehicle(R_0002_0014__THE_R_0002_0015__VEHICLE)
& has_inv_arg0(R_0002_0014__THE_R_0002_0015__VEHICLE,R_0002_0016__FACING_R_0002_0017__DOWNHILL)
& has_conj2(R_0002_0026__BY,R_0002_0018__MUST_R_0002_0019__YIELD)
& r_0002_0018__must_r_0002_0019__yield(R_0002_0018__MUST_R_0002_0019__YIELD)
& has_arg1(R_0002_0018__MUST_R_0002_0019__YIELD,R_0002_0020__THE_R_0002_0021__RIGHT)
& r_0002_0020__the_r_0002_0021__right(R_0002_0020__THE_R_0002_0021__RIGHT)
& has_r_0002_0023__of(R_0002_0020__THE_R_0002_0021__RIGHT,R_0002_0025__WAY)
& has_arg0(R_0002_0018__MUST_R_0002_0019__YIELD,R_0002_0014__THE_R_0002_0015__VEHICLE) ) ) ) ).