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))