57_a_lob_n01
%3
r_0057_0001__No_r_0057_0008__was
No was
r_0057_0006__the_r_0057_0007__probability
the probability
r_0057_0001__No_r_0057_0008__was->r_0057_0006__the_r_0057_0007__probability
[arg0]
z_000_57_a_lob_n01_39
r_0057_0001__No_r_0057_0008__was->z_000_57_a_lob_n01_39
[prd]
r_0057_0009__that_r_0057_0011__would
that would
z_000_57_a_lob_n01_39->r_0057_0009__that_r_0057_0011__would
[scope]
r_0057_0019__and
and
z_000_57_a_lob_n01_39->r_0057_0019__and
[restriction]
r_0057_0012__drive
drive
r_0057_0009__that_r_0057_0011__would->r_0057_0012__drive
[scope]
r_0057_0010__they
they
r_0057_0012__drive->r_0057_0010__they
[arg0]
r_0057_0013__continuously
continuously
r_0057_0012__drive->r_0057_0013__continuously
[nim]
r_0057_0016__stopping
stopping
r_0057_0016__stopping->r_0057_0010__they
[arg0]
r_0057_0015__only
only
r_0057_0016__stopping->r_0057_0015__only
[nim]
r_0057_0018__fuel
fuel
r_0057_0016__stopping->r_0057_0018__fuel
for [nim]
r_0057_0019__and->r_0057_0016__stopping
[conj1]
z_000_57_a_lob_n01_57
r_0057_0019__and->z_000_57_a_lob_n01_57
[conj2]
r_0057_0021__to_r_0057_0022__purchase
to purchase
z_000_57_a_lob_n01_57->r_0057_0021__to_r_0057_0022__purchase
[scope]
r_0057_0020__perhaps
perhaps
z_000_57_a_lob_n01_57->r_0057_0020__perhaps
[nim]
r_0057_0021__to_r_0057_0022__purchase->r_0057_0010__they
[arg0]
r_0057_0023__snacks
snacks
r_0057_0021__to_r_0057_0022__purchase->r_0057_0023__snacks
[arg1]
r_0057_0026__and
and
r_0057_0023__snacks->r_0057_0026__and
of
r_0057_0025__food
food
r_0057_0026__and->r_0057_0025__food
[conj1]
r_0057_0027__drink
drink
r_0057_0026__and->r_0057_0027__drink
[conj2]
arc(r_0057_0001__No_r_0057_0008__was, r_0057_0006__the_r_0057_0007__probability, arg0).
arc(r_0057_0001__No_r_0057_0008__was, z_000_57_a_lob_n01_39, prd).
arc(r_0057_0009__that_r_0057_0011__would, r_0057_0012__drive, scope).
arc(r_0057_0012__drive, r_0057_0010__they, arg0).
arc(r_0057_0012__drive, r_0057_0013__continuously, nim34).
arc(r_0057_0016__stopping, r_0057_0010__they, arg0).
arc(r_0057_0016__stopping, r_0057_0015__only, nim43).
arc(r_0057_0016__stopping, r_0057_0018__fuel, r_0057_0017__for_nim51).
arc(r_0057_0019__and, r_0057_0016__stopping, conj1).
arc(r_0057_0019__and, z_000_57_a_lob_n01_57, conj2).
arc(r_0057_0021__to_r_0057_0022__purchase, r_0057_0010__they, arg0).
arc(r_0057_0021__to_r_0057_0022__purchase, r_0057_0023__snacks, arg1).
arc(r_0057_0023__snacks, r_0057_0026__and, r_0057_0024__of).
arc(r_0057_0026__and, r_0057_0025__food, conj1).
arc(r_0057_0026__and, r_0057_0027__drink, conj2).
arc(z_000_57_a_lob_n01_39, r_0057_0009__that_r_0057_0011__would, scope).
arc(z_000_57_a_lob_n01_39, r_0057_0019__and, restriction).
arc(z_000_57_a_lob_n01_57, r_0057_0020__perhaps, nim58).
arc(z_000_57_a_lob_n01_57, r_0057_0021__to_r_0057_0022__purchase, scope).
%3
r_0057_0001__No_r_0057_0008__was
No was
r_0057_0006__the_r_0057_0007__probability
the probability
r_0057_0001__No_r_0057_0008__was->r_0057_0006__the_r_0057_0007__probability
[arg0]
z_000_57_a_lob_n01_39
r_0057_0001__No_r_0057_0008__was->z_000_57_a_lob_n01_39
[prd]
r_0057_0009__that_r_0057_0011__would_r_0057_0012__drive
that would drive
z_000_57_a_lob_n01_39->r_0057_0009__that_r_0057_0011__would_r_0057_0012__drive
[conj2]
r_0057_0019__and
and
z_000_57_a_lob_n01_39->r_0057_0019__and
[conj1]
r_0057_0010__they
they
r_0057_0009__that_r_0057_0011__would_r_0057_0012__drive->r_0057_0010__they
[arg0]
r_0057_0013__continuously
continuously
r_0057_0009__that_r_0057_0011__would_r_0057_0012__drive->r_0057_0013__continuously
[nim]
r_0057_0016__stopping
stopping
r_0057_0016__stopping->r_0057_0010__they
[arg0]
r_0057_0015__only
only
r_0057_0016__stopping->r_0057_0015__only
[nim]
r_0057_0018__fuel
fuel
r_0057_0016__stopping->r_0057_0018__fuel
for [nim]
r_0057_0019__and->r_0057_0016__stopping
[conj1]
z_000_57_a_lob_n01_57_r_0057_0021__to_r_0057_0022__purchase
to r 0057 0022 purchase
r_0057_0019__and->z_000_57_a_lob_n01_57_r_0057_0021__to_r_0057_0022__purchase
[conj2]
z_000_57_a_lob_n01_57_r_0057_0021__to_r_0057_0022__purchase->r_0057_0010__they
[arg0]
r_0057_0023__snacks
snacks
z_000_57_a_lob_n01_57_r_0057_0021__to_r_0057_0022__purchase->r_0057_0023__snacks
[arg1]
r_0057_0020__perhaps
perhaps
z_000_57_a_lob_n01_57_r_0057_0021__to_r_0057_0022__purchase->r_0057_0020__perhaps
[nim]
r_0057_0026__and
and
r_0057_0023__snacks->r_0057_0026__and
of
r_0057_0025__food
food
r_0057_0026__and->r_0057_0025__food
[conj1]
r_0057_0027__drink
drink
r_0057_0026__and->r_0057_0027__drink
[conj2]
fof(formula,axiom,
? [R_57_1_NO_WAS,R_57_6_THE_PROBABILITY,Z_57_A_LOB_N01_39,R_57_19_AND,R_57_16_STOPPING,R_57_15_ONLY,R_57_18_FUEL,Z_57_A_LOB_N01_57_TO_PURCHASE,R_57_23_SNACKS,R_57_26_AND,R_57_25_FOOD,R_57_27_DRINK,R_57_20_PERHAPS,R_57_9_THAT_WOULD_DRIVE,R_57_10_THEY,R_57_13_CONTINUOUSLY] :
( the_probability(R_57_6_THE_PROBABILITY)
& only(R_57_15_ONLY)
& fuel(R_57_18_FUEL)
& food(R_57_25_FOOD)
& drink(R_57_27_DRINK)
& perhaps(R_57_20_PERHAPS)
& they(R_57_10_THEY)
& continuously(R_57_13_CONTINUOUSLY)
& no_was(R_57_1_NO_WAS,R_57_6_THE_PROBABILITY,Z_57_A_LOB_N01_39)
& z_57_a_lob_n01_39(Z_57_A_LOB_N01_39)
& conj1(Z_57_A_LOB_N01_39,R_57_19_AND)
& and(R_57_19_AND)
& conj1(R_57_19_AND,R_57_16_STOPPING)
& stopping(R_57_16_STOPPING,R_57_10_THEY)
& nim43(R_57_16_STOPPING,R_57_15_ONLY)
& for_nim51(R_57_16_STOPPING,R_57_18_FUEL)
& conj2(R_57_19_AND,Z_57_A_LOB_N01_57_TO_PURCHASE)
& z_57_a_lob_n01_57_to_purchase(Z_57_A_LOB_N01_57_TO_PURCHASE,R_57_10_THEY,R_57_23_SNACKS)
& snacks(R_57_23_SNACKS)
& of(R_57_23_SNACKS,R_57_26_AND)
& and(R_57_26_AND)
& conj1(R_57_26_AND,R_57_25_FOOD)
& conj2(R_57_26_AND,R_57_27_DRINK)
& nim58(Z_57_A_LOB_N01_57_TO_PURCHASE,R_57_20_PERHAPS)
& conj2(Z_57_A_LOB_N01_39,R_57_9_THAT_WOULD_DRIVE)
& that_would_drive(R_57_9_THAT_WOULD_DRIVE,R_57_10_THEY)
& nim34(R_57_9_THAT_WOULD_DRIVE,R_57_13_CONTINUOUSLY) ) ).
n57_a_lob_n01
n57_a_lob_n01_3
No
n57_a_lob_n01_5
,
n57_a_lob_n01_10
he
n57_a_lob_n01_12
concluded
n57_a_lob_n01_14
,
n57_a_lob_n01_17
the
n57_a_lob_n01_19
probability
n57_a_lob_n01_21
was
n57_a_lob_n01_25
that
n57_a_lob_n01_28
they
n57_a_lob_n01_30
would
n57_a_lob_n01_33
drive
n57_a_lob_n01_36
continuously
n57_a_lob_n01_38
,
n57_a_lob_n01_45
only
n57_a_lob_n01_47
stopping
n57_a_lob_n01_50
for
n57_a_lob_n01_53
fuel
n57_a_lob_n01_56
and
n57_a_lob_n01_60
perhaps
n57_a_lob_n01_63
to
n57_a_lob_n01_65
purchase
n57_a_lob_n01_68
snacks
n57_a_lob_n01_71
of
n57_a_lob_n01_76
food
n57_a_lob_n01_79
and
n57_a_lob_n01_82
drink
n57_a_lob_n01_84
.
n57_a_lob_n01_1
IP-MAT
n57_a_lob_n01_2
REACT
n57_a_lob_n01_1->n57_a_lob_n01_2
n57_a_lob_n01_4
PUNC
n57_a_lob_n01_1->n57_a_lob_n01_4
n57_a_lob_n01_6
PRN
n57_a_lob_n01_1->n57_a_lob_n01_6
n57_a_lob_n01_13
PUNC
n57_a_lob_n01_1->n57_a_lob_n01_13
n57_a_lob_n01_15
NP-SBJ
n57_a_lob_n01_1->n57_a_lob_n01_15
n57_a_lob_n01_20
BED;_equ_Vf_
n57_a_lob_n01_1->n57_a_lob_n01_20
n57_a_lob_n01_22
CP-THT-PRD
n57_a_lob_n01_1->n57_a_lob_n01_22
n57_a_lob_n01_83
PUNC
n57_a_lob_n01_1->n57_a_lob_n01_83
n57_a_lob_n01_2->n57_a_lob_n01_3
n57_a_lob_n01_4->n57_a_lob_n01_5
n57_a_lob_n01_7
IP-MAT
n57_a_lob_n01_6->n57_a_lob_n01_7
n57_a_lob_n01_8
NP-SBJ
n57_a_lob_n01_7->n57_a_lob_n01_8
n57_a_lob_n01_11
VBD;_Tf_
n57_a_lob_n01_7->n57_a_lob_n01_11
n57_a_lob_n01_9
PRO
n57_a_lob_n01_8->n57_a_lob_n01_9
n57_a_lob_n01_9->n57_a_lob_n01_10
n57_a_lob_n01_11->n57_a_lob_n01_12
n57_a_lob_n01_13->n57_a_lob_n01_14
n57_a_lob_n01_16
D
n57_a_lob_n01_15->n57_a_lob_n01_16
n57_a_lob_n01_18
N
n57_a_lob_n01_15->n57_a_lob_n01_18
n57_a_lob_n01_16->n57_a_lob_n01_17
n57_a_lob_n01_18->n57_a_lob_n01_19
n57_a_lob_n01_20->n57_a_lob_n01_21
n57_a_lob_n01_23
IP-SUB
n57_a_lob_n01_22->n57_a_lob_n01_23
n57_a_lob_n01_24
C
n57_a_lob_n01_23->n57_a_lob_n01_24
n57_a_lob_n01_26
NP-SBJ
n57_a_lob_n01_23->n57_a_lob_n01_26
n57_a_lob_n01_29
MD;_cat_Vi_
n57_a_lob_n01_23->n57_a_lob_n01_29
n57_a_lob_n01_31
IP-INF-CAT
n57_a_lob_n01_23->n57_a_lob_n01_31
n57_a_lob_n01_37
PUNC
n57_a_lob_n01_23->n57_a_lob_n01_37
n57_a_lob_n01_39
PP-SCON
n57_a_lob_n01_23->n57_a_lob_n01_39
n57_a_lob_n01_24->n57_a_lob_n01_25
n57_a_lob_n01_27
PRO
n57_a_lob_n01_26->n57_a_lob_n01_27
n57_a_lob_n01_27->n57_a_lob_n01_28
n57_a_lob_n01_29->n57_a_lob_n01_30
n57_a_lob_n01_32
VB;_I_
n57_a_lob_n01_31->n57_a_lob_n01_32
n57_a_lob_n01_34
ADVP-NIM
n57_a_lob_n01_31->n57_a_lob_n01_34
n57_a_lob_n01_32->n57_a_lob_n01_33
n57_a_lob_n01_35
ADV
n57_a_lob_n01_34->n57_a_lob_n01_35
n57_a_lob_n01_35->n57_a_lob_n01_36
n57_a_lob_n01_37->n57_a_lob_n01_38
n57_a_lob_n01_40
IP-PPL
n57_a_lob_n01_39->n57_a_lob_n01_40
n57_a_lob_n01_41
ILYR
n57_a_lob_n01_40->n57_a_lob_n01_41
n57_a_lob_n01_42
ILYR
n57_a_lob_n01_41->n57_a_lob_n01_42
n57_a_lob_n01_54
CONJP
n57_a_lob_n01_41->n57_a_lob_n01_54
n57_a_lob_n01_43
ADVP-NIM
n57_a_lob_n01_42->n57_a_lob_n01_43
n57_a_lob_n01_46
VAG;__
n57_a_lob_n01_42->n57_a_lob_n01_46
n57_a_lob_n01_48
PP-NIM
n57_a_lob_n01_42->n57_a_lob_n01_48
n57_a_lob_n01_44
ADV
n57_a_lob_n01_43->n57_a_lob_n01_44
n57_a_lob_n01_44->n57_a_lob_n01_45
n57_a_lob_n01_46->n57_a_lob_n01_47
n57_a_lob_n01_49
P-ROLE
n57_a_lob_n01_48->n57_a_lob_n01_49
n57_a_lob_n01_51
NP
n57_a_lob_n01_48->n57_a_lob_n01_51
n57_a_lob_n01_49->n57_a_lob_n01_50
n57_a_lob_n01_52
N
n57_a_lob_n01_51->n57_a_lob_n01_52
n57_a_lob_n01_52->n57_a_lob_n01_53
n57_a_lob_n01_55
CONJ
n57_a_lob_n01_54->n57_a_lob_n01_55
n57_a_lob_n01_57
ILYR
n57_a_lob_n01_54->n57_a_lob_n01_57
n57_a_lob_n01_55->n57_a_lob_n01_56
n57_a_lob_n01_58
ADVP-NIM
n57_a_lob_n01_57->n57_a_lob_n01_58
n57_a_lob_n01_61
IP-INF-CAT
n57_a_lob_n01_57->n57_a_lob_n01_61
n57_a_lob_n01_59
ADV
n57_a_lob_n01_58->n57_a_lob_n01_59
n57_a_lob_n01_59->n57_a_lob_n01_60
n57_a_lob_n01_62
TO
n57_a_lob_n01_61->n57_a_lob_n01_62
n57_a_lob_n01_64
VB;_Tn_
n57_a_lob_n01_61->n57_a_lob_n01_64
n57_a_lob_n01_66
NP-OB1
n57_a_lob_n01_61->n57_a_lob_n01_66
n57_a_lob_n01_62->n57_a_lob_n01_63
n57_a_lob_n01_64->n57_a_lob_n01_65
n57_a_lob_n01_67
NS
n57_a_lob_n01_66->n57_a_lob_n01_67
n57_a_lob_n01_69
PP
n57_a_lob_n01_66->n57_a_lob_n01_69
n57_a_lob_n01_67->n57_a_lob_n01_68
n57_a_lob_n01_70
P-ROLE
n57_a_lob_n01_69->n57_a_lob_n01_70
n57_a_lob_n01_72
NP
n57_a_lob_n01_69->n57_a_lob_n01_72
n57_a_lob_n01_70->n57_a_lob_n01_71
n57_a_lob_n01_73
NLYR
n57_a_lob_n01_72->n57_a_lob_n01_73
n57_a_lob_n01_74
NLYR
n57_a_lob_n01_73->n57_a_lob_n01_74
n57_a_lob_n01_77
CONJP
n57_a_lob_n01_73->n57_a_lob_n01_77
n57_a_lob_n01_75
N
n57_a_lob_n01_74->n57_a_lob_n01_75
n57_a_lob_n01_75->n57_a_lob_n01_76
n57_a_lob_n01_78
CONJ
n57_a_lob_n01_77->n57_a_lob_n01_78
n57_a_lob_n01_80
NLYR
n57_a_lob_n01_77->n57_a_lob_n01_80
n57_a_lob_n01_78->n57_a_lob_n01_79
n57_a_lob_n01_81
N
n57_a_lob_n01_80->n57_a_lob_n01_81
n57_a_lob_n01_81->n57_a_lob_n01_82
n57_a_lob_n01_83->n57_a_lob_n01_84
( (IP-MAT (REACT No)
(PUNC ,)
(PRN (IP-MAT (NP-SBJ;{GEOFFREY} (PRO he;{he}))
(VBD;_Tf_ concluded;{conclude})))
(PUNC ,)
(NP-SBJ (D the;{the})
(N probability;{probability}))
(BED;_equ_Vf_ was;{be})
(CP-THT-PRD (IP-SUB (C that;{that})
(NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (VB;_I_ drive;{drive})
(ADVP-NIM (ADV continuously;{continuously})))
(PUNC ,)
(PP-SCON (IP-PPL (ILYR (ILYR (ADVP-NIM (ADV only;{only}))
(VAG;__ stopping;{stop})
(PP-NIM (P-ROLE for;{for})
(NP (N fuel;{fuel}))))
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (ADV perhaps;{perhaps}))
(IP-INF-CAT (TO to;{to})
(VB;_Tn_ purchase;{purchase})
(NP-OB1 (NS snacks;{snack})
(PP (P-ROLE of;{of})
(NP (NLYR (NLYR (N food;{food}))
(CONJP (CONJ and;{and})
(NLYR (N drink;{drink})))))))))))))))
(PUNC .))
(ID 57_a_lob_n01))