27_a_driver_handbook
%3
r_0027_0001__When
When
r_0027_0009__or
or
r_0027_0001__When->r_0027_0009__or
[restriction]
r_0027_0019__must
must
r_0027_0001__When->r_0027_0019__must
[scope]
r_0027_0003__tow
tow
r_0027_0009__or->r_0027_0003__tow
[conj1]
r_0027_0010__drive
drive
r_0027_0009__or->r_0027_0010__drive
[conj2]
r_0027_0026__or
or
r_0027_0019__must->r_0027_0026__or
[scope]
r_0027_0002__you
you
r_0027_0003__tow->r_0027_0002__you
[arg0]
r_0027_0006__or
or
r_0027_0003__tow->r_0027_0006__or
[arg1]
r_0027_0004__a_r_0027_0005__vehicle
a vehicle
r_0027_0006__or->r_0027_0004__a_r_0027_0005__vehicle
[conj1]
r_0027_0007__trailer
trailer
r_0027_0006__or->r_0027_0007__trailer
[conj2]
r_0027_0010__drive->r_0027_0002__you
[arg0]
r_0027_0013__or
or
r_0027_0010__drive->r_0027_0013__or
[arg1]
r_0027_0011__a_r_0027_0012__bus
a bus
r_0027_0013__or->r_0027_0011__a_r_0027_0012__bus
[conj1]
r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck
three or more axle truck
r_0027_0013__or->r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck
[conj2]
r_0027_0020__drive
drive
r_0027_0026__or->r_0027_0020__drive
[conj1]
z_000_27_a_driver_handbook_79
r_0027_0026__or->z_000_27_a_driver_handbook_79
[conj2]
r_0027_0020__drive->r_0027_0002__you
[arg0]
r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane
the hand lane
r_0027_0020__drive->r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane
in [nim]
r_0027_0023__right
right
r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane->r_0027_0023__right
[attrib]
z_000_27_a_driver_handbook_79->r_0027_0002__you
[arg0]
r_0027_0028__a_r_0027_0029__lane
a lane
z_000_27_a_driver_handbook_79->r_0027_0028__a_r_0027_0029__lane
in [nim]
r_0027_0031__marked
marked
r_0027_0031__marked->r_0027_0028__a_r_0027_0029__lane
[arg1]
r_0027_0030__specially
specially
r_0027_0031__marked->r_0027_0030__specially
[nim]
r_0027_0034__vehicles
vehicles
r_0027_0031__marked->r_0027_0034__vehicles
for [nim]
z_000_27_a_driver_handbook_89
r_0027_0031__marked->z_000_27_a_driver_handbook_89
[arg0]
r_0027_0033__slower
slower
r_0027_0034__vehicles->r_0027_0033__slower
[attrib]
arc(r_0027_0001__When, r_0027_0009__or, restriction).
arc(r_0027_0001__When, r_0027_0019__must, scope).
arc(r_0027_0003__tow, r_0027_0002__you, arg0).
arc(r_0027_0003__tow, r_0027_0006__or, arg1).
arc(r_0027_0006__or, r_0027_0004__a_r_0027_0005__vehicle, conj1).
arc(r_0027_0006__or, r_0027_0007__trailer, conj2).
arc(r_0027_0009__or, r_0027_0003__tow, conj1).
arc(r_0027_0009__or, r_0027_0010__drive, conj2).
arc(r_0027_0010__drive, r_0027_0002__you, arg0).
arc(r_0027_0010__drive, r_0027_0013__or, arg1).
arc(r_0027_0013__or, r_0027_0011__a_r_0027_0012__bus, conj1).
arc(r_0027_0013__or, r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck, conj2).
arc(r_0027_0019__must, r_0027_0026__or, scope).
arc(r_0027_0020__drive, r_0027_0002__you, arg0).
arc(r_0027_0020__drive, r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane, r_0027_0021__in_nim66).
arc(r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane, r_0027_0023__right, attrib69).
arc(r_0027_0026__or, r_0027_0020__drive, conj1).
arc(r_0027_0026__or, z_000_27_a_driver_handbook_79, conj2).
arc(r_0027_0031__marked, r_0027_0028__a_r_0027_0029__lane, arg1).
arc(r_0027_0031__marked, r_0027_0030__specially, nim91).
arc(r_0027_0031__marked, r_0027_0034__vehicles, r_0027_0032__for_nim99).
arc(r_0027_0031__marked, z_000_27_a_driver_handbook_89, arg0).
arc(r_0027_0034__vehicles, r_0027_0033__slower, attrib100).
arc(z_000_27_a_driver_handbook_79, r_0027_0002__you, arg0).
arc(z_000_27_a_driver_handbook_79, r_0027_0028__a_r_0027_0029__lane, r_0027_0027__in_nim83).
%3
r_0027_0001__When
When
r_0027_0009__or
or
r_0027_0001__When->r_0027_0009__or
[restriction]
r_0027_0019__must
must
r_0027_0001__When->r_0027_0019__must
[scope]
r_0027_0003__tow
tow
r_0027_0009__or->r_0027_0003__tow
[conj1]
r_0027_0010__drive
drive
r_0027_0009__or->r_0027_0010__drive
[conj2]
r_0027_0026__or
or
r_0027_0019__must->r_0027_0026__or
[keep_scope]
r_0027_0002__you
you
r_0027_0003__tow->r_0027_0002__you
[arg0]
r_0027_0006__or
or
r_0027_0003__tow->r_0027_0006__or
[arg1]
r_0027_0004__a_r_0027_0005__vehicle
a vehicle
r_0027_0006__or->r_0027_0004__a_r_0027_0005__vehicle
[conj1]
r_0027_0007__trailer
trailer
r_0027_0006__or->r_0027_0007__trailer
[conj2]
r_0027_0010__drive->r_0027_0002__you
[arg0]
r_0027_0013__or
or
r_0027_0010__drive->r_0027_0013__or
[arg1]
r_0027_0011__a_r_0027_0012__bus
a bus
r_0027_0013__or->r_0027_0011__a_r_0027_0012__bus
[conj1]
r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck
three or more axle truck
r_0027_0013__or->r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck
[conj2]
r_0027_0020__drive
drive
r_0027_0026__or->r_0027_0020__drive
[conj1]
z_000_27_a_driver_handbook_79
r_0027_0026__or->z_000_27_a_driver_handbook_79
[conj2]
r_0027_0020__drive->r_0027_0002__you
[arg0]
r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane
the hand lane
r_0027_0020__drive->r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane
in [nim]
r_0027_0023__right
right
r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane->r_0027_0023__right
[attrib]
z_000_27_a_driver_handbook_79->r_0027_0002__you
[arg0]
r_0027_0028__a_r_0027_0029__lane
a lane
z_000_27_a_driver_handbook_79->r_0027_0028__a_r_0027_0029__lane
in [nim]
r_0027_0031__marked
marked
r_0027_0031__marked->r_0027_0028__a_r_0027_0029__lane
[arg1]
r_0027_0030__specially
specially
r_0027_0031__marked->r_0027_0030__specially
[nim]
r_0027_0034__vehicles
vehicles
r_0027_0031__marked->r_0027_0034__vehicles
for [nim]
z_000_27_a_driver_handbook_89
r_0027_0031__marked->z_000_27_a_driver_handbook_89
[arg0]
r_0027_0033__slower
slower
r_0027_0034__vehicles->r_0027_0033__slower
[attrib]
fof(formula,axiom,
? [R_27_31_MARKED,Z_27_A_DRIVER_HANDBOOK_89,R_27_28_A_LANE,R_27_30_SPECIALLY,R_27_34_VEHICLES,R_27_33_SLOWER] :
( a_lane(R_27_28_A_LANE)
& specially(R_27_30_SPECIALLY)
& slower(R_27_33_SLOWER)
& ! [R_27_9_OR,R_27_3_TOW,R_27_6_OR,R_27_4_A_VEHICLE,R_27_7_TRAILER,R_27_10_DRIVE,R_27_2_YOU,R_27_13_OR,R_27_11_A_BUS,R_27_14_THREE_OR_MORE_AXLE_TRUCK] :
( ( a_vehicle(R_27_4_A_VEHICLE)
& trailer(R_27_7_TRAILER)
& you(R_27_2_YOU)
& a_bus(R_27_11_A_BUS)
& three_or_more_axle_truck(R_27_14_THREE_OR_MORE_AXLE_TRUCK)
& or(R_27_9_OR)
& conj1(R_27_9_OR,R_27_3_TOW)
& tow(R_27_3_TOW,R_27_2_YOU,R_27_6_OR)
& or(R_27_6_OR)
& conj1(R_27_6_OR,R_27_4_A_VEHICLE)
& conj2(R_27_6_OR,R_27_7_TRAILER)
& conj2(R_27_9_OR,R_27_10_DRIVE)
& drive(R_27_10_DRIVE,R_27_2_YOU,R_27_13_OR)
& or(R_27_13_OR)
& conj1(R_27_13_OR,R_27_11_A_BUS)
& conj2(R_27_13_OR,R_27_14_THREE_OR_MORE_AXLE_TRUCK) )
=> ~ ? [R_27_26_OR,R_27_20_DRIVE,R_27_22_THE_HAND_LANE,R_27_23_RIGHT,Z_27_A_DRIVER_HANDBOOK_79] :
( right(R_27_23_RIGHT)
& or(R_27_26_OR)
& conj1(R_27_26_OR,R_27_20_DRIVE)
& drive(R_27_20_DRIVE,R_27_2_YOU)
& in_nim66(R_27_20_DRIVE,R_27_22_THE_HAND_LANE)
& the_hand_lane(R_27_22_THE_HAND_LANE)
& attrib69(R_27_22_THE_HAND_LANE,R_27_23_RIGHT)
& conj2(R_27_26_OR,Z_27_A_DRIVER_HANDBOOK_79)
& z_27_a_driver_handbook_79(Z_27_A_DRIVER_HANDBOOK_79,R_27_2_YOU)
& in_nim83(Z_27_A_DRIVER_HANDBOOK_79,R_27_28_A_LANE) ) )
& marked(R_27_31_MARKED,Z_27_A_DRIVER_HANDBOOK_89,R_27_28_A_LANE)
& nim91(R_27_31_MARKED,R_27_30_SPECIALLY)
& for_nim99(R_27_31_MARKED,R_27_34_VEHICLES)
& vehicles(R_27_34_VEHICLES)
& attrib100(R_27_34_VEHICLES,R_27_33_SLOWER) ) ).
n27_a_driver_handbook
n27_a_driver_handbook_4
When
n27_a_driver_handbook_8
you
n27_a_driver_handbook_12
tow
n27_a_driver_handbook_17
a
n27_a_driver_handbook_19
vehicle
n27_a_driver_handbook_22
or
n27_a_driver_handbook_25
trailer
n27_a_driver_handbook_27
,
n27_a_driver_handbook_30
or
n27_a_driver_handbook_33
drive
n27_a_driver_handbook_38
a
n27_a_driver_handbook_40
bus
n27_a_driver_handbook_43
or
n27_a_driver_handbook_46
three_or_more
n27_a_driver_handbook_48
axle
n27_a_driver_handbook_50
truck
n27_a_driver_handbook_52
,
n27_a_driver_handbook_55
you
n27_a_driver_handbook_57
must
n27_a_driver_handbook_62
drive
n27_a_driver_handbook_65
in
n27_a_driver_handbook_68
the
n27_a_driver_handbook_71
right
n27_a_driver_handbook_73
hand
n27_a_driver_handbook_75
lane
n27_a_driver_handbook_78
or
n27_a_driver_handbook_82
in
n27_a_driver_handbook_85
a
n27_a_driver_handbook_87
lane
n27_a_driver_handbook_90
*
n27_a_driver_handbook_93
specially
n27_a_driver_handbook_95
marked
n27_a_driver_handbook_98
for
n27_a_driver_handbook_102
slower
n27_a_driver_handbook_104
vehicles
n27_a_driver_handbook_106
.
n27_a_driver_handbook_1
IP-MAT
n27_a_driver_handbook_2
PP-SCON
n27_a_driver_handbook_1->n27_a_driver_handbook_2
n27_a_driver_handbook_51
PUNC
n27_a_driver_handbook_1->n27_a_driver_handbook_51
n27_a_driver_handbook_53
NP-SBJ
n27_a_driver_handbook_1->n27_a_driver_handbook_53
n27_a_driver_handbook_56
MD;_cat_Vi_
n27_a_driver_handbook_1->n27_a_driver_handbook_56
n27_a_driver_handbook_58
IP-INF-CAT
n27_a_driver_handbook_1->n27_a_driver_handbook_58
n27_a_driver_handbook_105
PUNC
n27_a_driver_handbook_1->n27_a_driver_handbook_105
n27_a_driver_handbook_3
P-CONN
n27_a_driver_handbook_2->n27_a_driver_handbook_3
n27_a_driver_handbook_5
IP-ADV
n27_a_driver_handbook_2->n27_a_driver_handbook_5
n27_a_driver_handbook_3->n27_a_driver_handbook_4
n27_a_driver_handbook_6
NP-SBJ
n27_a_driver_handbook_5->n27_a_driver_handbook_6
n27_a_driver_handbook_9
ILYR
n27_a_driver_handbook_5->n27_a_driver_handbook_9
n27_a_driver_handbook_7
PRO
n27_a_driver_handbook_6->n27_a_driver_handbook_7
n27_a_driver_handbook_7->n27_a_driver_handbook_8
n27_a_driver_handbook_10
ILYR
n27_a_driver_handbook_9->n27_a_driver_handbook_10
n27_a_driver_handbook_26
PUNC
n27_a_driver_handbook_9->n27_a_driver_handbook_26
n27_a_driver_handbook_28
CONJP
n27_a_driver_handbook_9->n27_a_driver_handbook_28
n27_a_driver_handbook_11
VBP;_Tn_
n27_a_driver_handbook_10->n27_a_driver_handbook_11
n27_a_driver_handbook_13
NP-OB1
n27_a_driver_handbook_10->n27_a_driver_handbook_13
n27_a_driver_handbook_11->n27_a_driver_handbook_12
n27_a_driver_handbook_14
NLYR
n27_a_driver_handbook_13->n27_a_driver_handbook_14
n27_a_driver_handbook_15
NLYR
n27_a_driver_handbook_14->n27_a_driver_handbook_15
n27_a_driver_handbook_20
CONJP
n27_a_driver_handbook_14->n27_a_driver_handbook_20
n27_a_driver_handbook_16
D
n27_a_driver_handbook_15->n27_a_driver_handbook_16
n27_a_driver_handbook_18
N
n27_a_driver_handbook_15->n27_a_driver_handbook_18
n27_a_driver_handbook_16->n27_a_driver_handbook_17
n27_a_driver_handbook_18->n27_a_driver_handbook_19
n27_a_driver_handbook_21
CONJ
n27_a_driver_handbook_20->n27_a_driver_handbook_21
n27_a_driver_handbook_23
NLYR
n27_a_driver_handbook_20->n27_a_driver_handbook_23
n27_a_driver_handbook_21->n27_a_driver_handbook_22
n27_a_driver_handbook_24
N
n27_a_driver_handbook_23->n27_a_driver_handbook_24
n27_a_driver_handbook_24->n27_a_driver_handbook_25
n27_a_driver_handbook_26->n27_a_driver_handbook_27
n27_a_driver_handbook_29
CONJ
n27_a_driver_handbook_28->n27_a_driver_handbook_29
n27_a_driver_handbook_31
ILYR
n27_a_driver_handbook_28->n27_a_driver_handbook_31
n27_a_driver_handbook_29->n27_a_driver_handbook_30
n27_a_driver_handbook_32
VB;_Tn_
n27_a_driver_handbook_31->n27_a_driver_handbook_32
n27_a_driver_handbook_34
NP-OB1
n27_a_driver_handbook_31->n27_a_driver_handbook_34
n27_a_driver_handbook_32->n27_a_driver_handbook_33
n27_a_driver_handbook_35
NLYR
n27_a_driver_handbook_34->n27_a_driver_handbook_35
n27_a_driver_handbook_36
NLYR
n27_a_driver_handbook_35->n27_a_driver_handbook_36
n27_a_driver_handbook_41
CONJP
n27_a_driver_handbook_35->n27_a_driver_handbook_41
n27_a_driver_handbook_37
D
n27_a_driver_handbook_36->n27_a_driver_handbook_37
n27_a_driver_handbook_39
N
n27_a_driver_handbook_36->n27_a_driver_handbook_39
n27_a_driver_handbook_37->n27_a_driver_handbook_38
n27_a_driver_handbook_39->n27_a_driver_handbook_40
n27_a_driver_handbook_42
CONJ
n27_a_driver_handbook_41->n27_a_driver_handbook_42
n27_a_driver_handbook_44
NLYR
n27_a_driver_handbook_41->n27_a_driver_handbook_44
n27_a_driver_handbook_42->n27_a_driver_handbook_43
n27_a_driver_handbook_45
NUM
n27_a_driver_handbook_44->n27_a_driver_handbook_45
n27_a_driver_handbook_47
N
n27_a_driver_handbook_44->n27_a_driver_handbook_47
n27_a_driver_handbook_49
N
n27_a_driver_handbook_44->n27_a_driver_handbook_49
n27_a_driver_handbook_45->n27_a_driver_handbook_46
n27_a_driver_handbook_47->n27_a_driver_handbook_48
n27_a_driver_handbook_49->n27_a_driver_handbook_50
n27_a_driver_handbook_51->n27_a_driver_handbook_52
n27_a_driver_handbook_54
PRO
n27_a_driver_handbook_53->n27_a_driver_handbook_54
n27_a_driver_handbook_54->n27_a_driver_handbook_55
n27_a_driver_handbook_56->n27_a_driver_handbook_57
n27_a_driver_handbook_59
ILYR
n27_a_driver_handbook_58->n27_a_driver_handbook_59
n27_a_driver_handbook_60
ILYR
n27_a_driver_handbook_59->n27_a_driver_handbook_60
n27_a_driver_handbook_76
CONJP
n27_a_driver_handbook_59->n27_a_driver_handbook_76
n27_a_driver_handbook_61
VB;_I_
n27_a_driver_handbook_60->n27_a_driver_handbook_61
n27_a_driver_handbook_63
PP-NIM
n27_a_driver_handbook_60->n27_a_driver_handbook_63
n27_a_driver_handbook_61->n27_a_driver_handbook_62
n27_a_driver_handbook_64
P-ROLE
n27_a_driver_handbook_63->n27_a_driver_handbook_64
n27_a_driver_handbook_66
NP
n27_a_driver_handbook_63->n27_a_driver_handbook_66
n27_a_driver_handbook_64->n27_a_driver_handbook_65
n27_a_driver_handbook_67
D
n27_a_driver_handbook_66->n27_a_driver_handbook_67
n27_a_driver_handbook_69
ADJP
n27_a_driver_handbook_66->n27_a_driver_handbook_69
n27_a_driver_handbook_72
N
n27_a_driver_handbook_66->n27_a_driver_handbook_72
n27_a_driver_handbook_74
N
n27_a_driver_handbook_66->n27_a_driver_handbook_74
n27_a_driver_handbook_67->n27_a_driver_handbook_68
n27_a_driver_handbook_70
ADJ
n27_a_driver_handbook_69->n27_a_driver_handbook_70
n27_a_driver_handbook_70->n27_a_driver_handbook_71
n27_a_driver_handbook_72->n27_a_driver_handbook_73
n27_a_driver_handbook_74->n27_a_driver_handbook_75
n27_a_driver_handbook_77
CONJ
n27_a_driver_handbook_76->n27_a_driver_handbook_77
n27_a_driver_handbook_79
ILYR
n27_a_driver_handbook_76->n27_a_driver_handbook_79
n27_a_driver_handbook_77->n27_a_driver_handbook_78
n27_a_driver_handbook_80
PP-NIM
n27_a_driver_handbook_79->n27_a_driver_handbook_80
n27_a_driver_handbook_81
P-ROLE
n27_a_driver_handbook_80->n27_a_driver_handbook_81
n27_a_driver_handbook_83
NP
n27_a_driver_handbook_80->n27_a_driver_handbook_83
n27_a_driver_handbook_81->n27_a_driver_handbook_82
n27_a_driver_handbook_84
D
n27_a_driver_handbook_83->n27_a_driver_handbook_84
n27_a_driver_handbook_86
N
n27_a_driver_handbook_83->n27_a_driver_handbook_86
n27_a_driver_handbook_88
IP-PPL
n27_a_driver_handbook_83->n27_a_driver_handbook_88
n27_a_driver_handbook_84->n27_a_driver_handbook_85
n27_a_driver_handbook_86->n27_a_driver_handbook_87
n27_a_driver_handbook_89
NP-LGS
n27_a_driver_handbook_88->n27_a_driver_handbook_89
n27_a_driver_handbook_91
ADVP-NIM
n27_a_driver_handbook_88->n27_a_driver_handbook_91
n27_a_driver_handbook_94
VVN;_Tn_
n27_a_driver_handbook_88->n27_a_driver_handbook_94
n27_a_driver_handbook_96
PP-NIM
n27_a_driver_handbook_88->n27_a_driver_handbook_96
n27_a_driver_handbook_89->n27_a_driver_handbook_90
n27_a_driver_handbook_92
ADV
n27_a_driver_handbook_91->n27_a_driver_handbook_92
n27_a_driver_handbook_92->n27_a_driver_handbook_93
n27_a_driver_handbook_94->n27_a_driver_handbook_95
n27_a_driver_handbook_97
P-ROLE
n27_a_driver_handbook_96->n27_a_driver_handbook_97
n27_a_driver_handbook_99
NP
n27_a_driver_handbook_96->n27_a_driver_handbook_99
n27_a_driver_handbook_97->n27_a_driver_handbook_98
n27_a_driver_handbook_100
ADJP
n27_a_driver_handbook_99->n27_a_driver_handbook_100
n27_a_driver_handbook_103
NS
n27_a_driver_handbook_99->n27_a_driver_handbook_103
n27_a_driver_handbook_101
ADJR
n27_a_driver_handbook_100->n27_a_driver_handbook_101
n27_a_driver_handbook_101->n27_a_driver_handbook_102
n27_a_driver_handbook_103->n27_a_driver_handbook_104
n27_a_driver_handbook_105->n27_a_driver_handbook_106
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ (PRO you;{you}))
(ILYR (ILYR (VBP;_Tn_ tow;{tow})
(NP-OB1 (NLYR (NLYR (D a;{a})
(N vehicle;{vehicle}))
(CONJP (CONJ or;{or})
(NLYR (N trailer;{trailer}))))))
(PUNC ,)
(CONJP (CONJ or;{or})
(ILYR (VB;_Tn_ drive;{drive})
(NP-OB1 (NLYR (NLYR (D a;{a})
(N bus;{bus}))
(CONJP (CONJ or;{or})
(NLYR (NUM three_or_more;{three_or_more})
(N axle;{axle})
(N truck;{truck}))))))))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (ILYR (ILYR (VB;_I_ drive;{drive})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(ADJP (ADJ right;{right}))
(N hand;{hand})
(N lane;{lane}))))
(CONJP (CONJ or;{or})
(ILYR (PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N lane;{lane})
(IP-PPL (NP-LGS *)
(ADVP-NIM (ADV specially;{specially}))
(VVN;_Tn_ marked;{mark})
(PP-NIM (P-ROLE for;{for})
(NP (ADJP (ADJR slower;{slow}))
(NS vehicles;{vehicle}))))))))))
(PUNC .))
(ID 27_a_driver_handbook))