50_a_lob_n01
He worked out the distance on the presumption that its route had been through Florence and Rome and then across Italy via Foggia to Barletta.
%3
r_0050_0002__worked_r_0050_0003__out
worked out
r_0050_0001__He
He
r_0050_0002__worked_r_0050_0003__out->r_0050_0001__He
[arg0]
r_0050_0004__the_r_0050_0005__distance
the distance
r_0050_0002__worked_r_0050_0003__out->r_0050_0004__the_r_0050_0005__distance
[arg1]
r_0050_0007__the_r_0050_0008__presumption
the presumption
r_0050_0004__the_r_0050_0005__distance->r_0050_0007__the_r_0050_0008__presumption
on
r_0050_0009__that_r_0050_0012__had
that had
r_0050_0007__the_r_0050_0008__presumption->r_0050_0009__that_r_0050_0012__had
[emb]
r_0050_0013__been
been
r_0050_0009__that_r_0050_0012__had->r_0050_0013__been
[scope]
r_0050_0011__route
route
r_0050_0013__been->r_0050_0011__route
[arg0]
r_0050_0010__its
its
r_0050_0011__route->r_0050_0010__its
[gen]
arc(r_0050_0002__worked_r_0050_0003__out, r_0050_0001__He, arg0).
arc(r_0050_0002__worked_r_0050_0003__out, r_0050_0004__the_r_0050_0005__distance, arg1).
arc(r_0050_0004__the_r_0050_0005__distance, r_0050_0007__the_r_0050_0008__presumption, r_0050_0006__on).
arc(r_0050_0007__the_r_0050_0008__presumption, r_0050_0009__that_r_0050_0012__had, emb23).
arc(r_0050_0009__that_r_0050_0012__had, r_0050_0013__been, scope).
arc(r_0050_0011__route, r_0050_0010__its, gen).
arc(r_0050_0013__been, r_0050_0011__route, arg0).
%3
r_0050_0009__that_r_0050_0012__had_r_0050_0013__been
that had been
r_0050_0011__route
route
r_0050_0009__that_r_0050_0012__had_r_0050_0013__been->r_0050_0011__route
[arg0]
r_0050_0010__its
its
r_0050_0011__route->r_0050_0010__its
[gen]
r_0050_0007__the_r_0050_0008__presumption
the presumption
r_0050_0007__the_r_0050_0008__presumption->r_0050_0009__that_r_0050_0012__had_r_0050_0013__been
[emb]
r_0050_0004__the_r_0050_0005__distance
the distance
r_0050_0004__the_r_0050_0005__distance->r_0050_0007__the_r_0050_0008__presumption
on
r_0050_0002__worked_r_0050_0003__out
worked out
r_0050_0002__worked_r_0050_0003__out->r_0050_0004__the_r_0050_0005__distance
[arg1]
r_0050_0001__He
He
r_0050_0002__worked_r_0050_0003__out->r_0050_0001__He
[arg0]
fof(formula,axiom,
? [R_0050_0001__HE,R_0050_0010__ITS,R_0050_0011__ROUTE,R_0050_0009__THAT_R_0050_0012__HAD_R_0050_0013__BEEN,R_0050_0007__THE_R_0050_0008__PRESUMPTION,R_0050_0004__THE_R_0050_0005__DISTANCE,R_0050_0002__WORKED_R_0050_0003__OUT] :
( r_0050_0001__He(R_0050_0001__HE)
& r_0050_0010__its(R_0050_0010__ITS)
& r_0050_0002__worked_r_0050_0003__out(R_0050_0002__WORKED_R_0050_0003__OUT)
& has_arg1(R_0050_0002__WORKED_R_0050_0003__OUT,R_0050_0004__THE_R_0050_0005__DISTANCE)
& r_0050_0004__the_r_0050_0005__distance(R_0050_0004__THE_R_0050_0005__DISTANCE)
& has_r_0050_0006__on(R_0050_0004__THE_R_0050_0005__DISTANCE,R_0050_0007__THE_R_0050_0008__PRESUMPTION)
& r_0050_0007__the_r_0050_0008__presumption(R_0050_0007__THE_R_0050_0008__PRESUMPTION)
& has_emb23(R_0050_0007__THE_R_0050_0008__PRESUMPTION,R_0050_0009__THAT_R_0050_0012__HAD_R_0050_0013__BEEN)
& r_0050_0009__that_r_0050_0012__had_r_0050_0013__been(R_0050_0009__THAT_R_0050_0012__HAD_R_0050_0013__BEEN)
& has_arg0(R_0050_0009__THAT_R_0050_0012__HAD_R_0050_0013__BEEN,R_0050_0011__ROUTE)
& r_0050_0011__route(R_0050_0011__ROUTE)
& has_gen(R_0050_0011__ROUTE,R_0050_0010__ITS)
& has_arg0(R_0050_0002__WORKED_R_0050_0003__OUT,R_0050_0001__HE) ) ).
n50_a_lob_n01
n50_a_lob_n01__1_1_1_1
He
n50_a_lob_n01__1_2_1
worked
n50_a_lob_n01__1_3_1
out
n50_a_lob_n01__1_4_1_1
the
n50_a_lob_n01__1_4_2_1
distance
n50_a_lob_n01__1_4_3_1_1
on
n50_a_lob_n01__1_4_3_2_1_1
the
n50_a_lob_n01__1_4_3_2_2_1
presumption
n50_a_lob_n01__1_4_3_2_3_1_1_1
that
n50_a_lob_n01__1_4_3_2_3_1_2_1_1_1
its
n50_a_lob_n01__1_4_3_2_3_1_2_2_1
route
n50_a_lob_n01__1_4_3_2_3_1_3_1
had
n50_a_lob_n01__1_4_3_2_3_1_4_1_1
been
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_1_1
through
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1_1_1
Florence
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_1_1
and
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2_1_1
Rome
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_1_1
and
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_1_1
then
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_2_1
across
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_1_1
Italy
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_1_1
via
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_1_1
Foggia
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_1_1
to
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2_1_1
Barletta
n50_a_lob_n01__1_5_1
.
n50_a_lob_n01__1
IP-MAT
n50_a_lob_n01__1_1
NP-SBJ
n50_a_lob_n01__1->n50_a_lob_n01__1_1
n50_a_lob_n01__1_2
VBD;_phr_Vn<=>p_
n50_a_lob_n01__1->n50_a_lob_n01__1_2
n50_a_lob_n01__1_3
RP
n50_a_lob_n01__1->n50_a_lob_n01__1_3
n50_a_lob_n01__1_4
NP-OB1
n50_a_lob_n01__1->n50_a_lob_n01__1_4
n50_a_lob_n01__1_5
PUNC
n50_a_lob_n01__1->n50_a_lob_n01__1_5
n50_a_lob_n01__1_1_1
PRO
n50_a_lob_n01__1_1->n50_a_lob_n01__1_1_1
n50_a_lob_n01__1_1_1->n50_a_lob_n01__1_1_1_1
n50_a_lob_n01__1_2->n50_a_lob_n01__1_2_1
n50_a_lob_n01__1_3->n50_a_lob_n01__1_3_1
n50_a_lob_n01__1_4_1
D
n50_a_lob_n01__1_4->n50_a_lob_n01__1_4_1
n50_a_lob_n01__1_4_2
N
n50_a_lob_n01__1_4->n50_a_lob_n01__1_4_2
n50_a_lob_n01__1_4_3
PP
n50_a_lob_n01__1_4->n50_a_lob_n01__1_4_3
n50_a_lob_n01__1_4_1->n50_a_lob_n01__1_4_1_1
n50_a_lob_n01__1_4_2->n50_a_lob_n01__1_4_2_1
n50_a_lob_n01__1_4_3_1
P-ROLE
n50_a_lob_n01__1_4_3->n50_a_lob_n01__1_4_3_1
n50_a_lob_n01__1_4_3_2
NP
n50_a_lob_n01__1_4_3->n50_a_lob_n01__1_4_3_2
n50_a_lob_n01__1_4_3_1->n50_a_lob_n01__1_4_3_1_1
n50_a_lob_n01__1_4_3_2_1
D
n50_a_lob_n01__1_4_3_2->n50_a_lob_n01__1_4_3_2_1
n50_a_lob_n01__1_4_3_2_2
N
n50_a_lob_n01__1_4_3_2->n50_a_lob_n01__1_4_3_2_2
n50_a_lob_n01__1_4_3_2_3
CP-THT
n50_a_lob_n01__1_4_3_2->n50_a_lob_n01__1_4_3_2_3
n50_a_lob_n01__1_4_3_2_1->n50_a_lob_n01__1_4_3_2_1_1
n50_a_lob_n01__1_4_3_2_2->n50_a_lob_n01__1_4_3_2_2_1
n50_a_lob_n01__1_4_3_2_3_1
IP-SUB
n50_a_lob_n01__1_4_3_2_3->n50_a_lob_n01__1_4_3_2_3_1
n50_a_lob_n01__1_4_3_2_3_1_1
C
n50_a_lob_n01__1_4_3_2_3_1->n50_a_lob_n01__1_4_3_2_3_1_1
n50_a_lob_n01__1_4_3_2_3_1_2
NP-SBJ
n50_a_lob_n01__1_4_3_2_3_1->n50_a_lob_n01__1_4_3_2_3_1_2
n50_a_lob_n01__1_4_3_2_3_1_3
HVD;_cat_Ve_
n50_a_lob_n01__1_4_3_2_3_1->n50_a_lob_n01__1_4_3_2_3_1_3
n50_a_lob_n01__1_4_3_2_3_1_4
IP-PPL-CAT
n50_a_lob_n01__1_4_3_2_3_1->n50_a_lob_n01__1_4_3_2_3_1_4
n50_a_lob_n01__1_4_3_2_3_1_1->n50_a_lob_n01__1_4_3_2_3_1_1_1
n50_a_lob_n01__1_4_3_2_3_1_2_1
NP-GEN
n50_a_lob_n01__1_4_3_2_3_1_2->n50_a_lob_n01__1_4_3_2_3_1_2_1
n50_a_lob_n01__1_4_3_2_3_1_2_2
N
n50_a_lob_n01__1_4_3_2_3_1_2->n50_a_lob_n01__1_4_3_2_3_1_2_2
n50_a_lob_n01__1_4_3_2_3_1_2_1_1
PRO;_genm_
n50_a_lob_n01__1_4_3_2_3_1_2_1->n50_a_lob_n01__1_4_3_2_3_1_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_2_1_1->n50_a_lob_n01__1_4_3_2_3_1_2_1_1_1
n50_a_lob_n01__1_4_3_2_3_1_2_2->n50_a_lob_n01__1_4_3_2_3_1_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_3->n50_a_lob_n01__1_4_3_2_3_1_3_1
n50_a_lob_n01__1_4_3_2_3_1_4_1
BEN;_Ipr_
n50_a_lob_n01__1_4_3_2_3_1_4->n50_a_lob_n01__1_4_3_2_3_1_4_1
n50_a_lob_n01__1_4_3_2_3_1_4_2
PP-CLR
n50_a_lob_n01__1_4_3_2_3_1_4->n50_a_lob_n01__1_4_3_2_3_1_4_2
n50_a_lob_n01__1_4_3_2_3_1_4_1->n50_a_lob_n01__1_4_3_2_3_1_4_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1
PP-CLR
n50_a_lob_n01__1_4_3_2_3_1_4_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2
CONJP
n50_a_lob_n01__1_4_3_2_3_1_4_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_1
P-ROLE
n50_a_lob_n01__1_4_3_2_3_1_4_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2
NP
n50_a_lob_n01__1_4_3_2_3_1_4_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1
NLYR
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1
NLYR
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2
CONJP
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1_1
NPR
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_1_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_1
CONJ
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2
NLYR
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2_1
NPR
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_1_2_1_2_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_1
CONJ
n50_a_lob_n01__1_4_3_2_3_1_4_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2
PP-CLR
n50_a_lob_n01__1_4_3_2_3_1_4_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_1
ADV
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_2
P-ROLE
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3
NP
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_1
NPR
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2
PP
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_1
P-ROLE
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2
NP
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_1
NPR
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2
PP
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_1
P-ROLE
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2
NP
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_1_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2_1
NPR
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2_1
n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2_1->n50_a_lob_n01__1_4_3_2_3_1_4_2_2_2_3_2_2_2_2_1_1
n50_a_lob_n01__1_5->n50_a_lob_n01__1_5_1
( (IP-MAT (NP-SBJ;{GEOFFREY} (PRO He;{he}))
(VBD;_phr_Vn<=>p_ worked;{work[out]})
(RP out;{out})
(NP-OB1;{DISTANCE} (D the;{the})
(N distance;{distance})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(N presumption;{presumption})
(CP-THT (IP-SUB (C that;{that})
(NP-SBJ (NP-GEN;{BENTLEY} (PRO;_genm_ its;{its}))
(N route;{route}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_Ipr_ been;{be[through_and_across]})
(PP-CLR (PP-CLR (P-ROLE through;{through})
(NP (NLYR (NLYR (NPR Florence;{Florence}))
(CONJP (CONJ and;{and})
(NLYR (NPR Rome;{Rome}))))))
(CONJP (CONJ and;{and})
(PP-CLR (ADV then;{then})
(P-ROLE across;{across})
(NP (NPR Italy;{Italy})
(PP (P-ROLE via;{via})
(NP (NPR Foggia;{Foggia})
(PP (P-ROLE to;{to})
(NP (NPR Barletta;{Barletta})))))))))))))))
(PUNC .))
(ID 50_a_lob_n01))