Context                Previous, Next                Top


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_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_r_0050_0013__been that had been r_0050_0007__the_r_0050_0008__presumption->r_0050_0009__that_r_0050_0012__had_r_0050_0013__been [emb] 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] 
fof(formula,axiom,
    ? [R_50_2_WORKED_OUT,R_50_1_HE,R_50_4_THE_DISTANCE,R_50_7_THE_PRESUMPTION,R_50_9_THAT_HAD_BEEN,R_50_11_ROUTE,R_50_10_ITS] :
      ( he(R_50_1_HE)
      & its(R_50_10_ITS)
      & worked_out(R_50_2_WORKED_OUT,R_50_1_HE,R_50_4_THE_DISTANCE)
      & the_distance(R_50_4_THE_DISTANCE)
      & on(R_50_4_THE_DISTANCE,R_50_7_THE_PRESUMPTION)
      & the_presumption(R_50_7_THE_PRESUMPTION)
      & emb23(R_50_7_THE_PRESUMPTION,R_50_9_THAT_HAD_BEEN)
      & that_had_been(R_50_9_THAT_HAD_BEEN,R_50_11_ROUTE)
      & route(R_50_11_ROUTE)
      & gen(R_50_11_ROUTE,R_50_10_ITS) ) ).


n50_a_lob_n01 n50_a_lob_n01_4 He n50_a_lob_n01_6 worked n50_a_lob_n01_8 out n50_a_lob_n01_11 the n50_a_lob_n01_13 distance n50_a_lob_n01_16 on n50_a_lob_n01_19 the n50_a_lob_n01_21 presumption n50_a_lob_n01_25 that n50_a_lob_n01_29 its n50_a_lob_n01_31 route n50_a_lob_n01_33 had n50_a_lob_n01_36 been n50_a_lob_n01_40 through n50_a_lob_n01_45 Florence n50_a_lob_n01_48 and n50_a_lob_n01_51 Rome n50_a_lob_n01_54 and n50_a_lob_n01_57 then n50_a_lob_n01_59 across n50_a_lob_n01_62 Italy n50_a_lob_n01_65 via n50_a_lob_n01_68 Foggia n50_a_lob_n01_71 to n50_a_lob_n01_74 Barletta n50_a_lob_n01_76 . n50_a_lob_n01_1 IP-MAT n50_a_lob_n01_2 NP-SBJ n50_a_lob_n01_1->n50_a_lob_n01_2 n50_a_lob_n01_5 VBD;_phr_Vn<=>p_ n50_a_lob_n01_1->n50_a_lob_n01_5 n50_a_lob_n01_7 RP n50_a_lob_n01_1->n50_a_lob_n01_7 n50_a_lob_n01_9 NP-OB1 n50_a_lob_n01_1->n50_a_lob_n01_9 n50_a_lob_n01_75 PUNC n50_a_lob_n01_1->n50_a_lob_n01_75 n50_a_lob_n01_3 PRO n50_a_lob_n01_2->n50_a_lob_n01_3 n50_a_lob_n01_3->n50_a_lob_n01_4 n50_a_lob_n01_5->n50_a_lob_n01_6 n50_a_lob_n01_7->n50_a_lob_n01_8 n50_a_lob_n01_10 D n50_a_lob_n01_9->n50_a_lob_n01_10 n50_a_lob_n01_12 N n50_a_lob_n01_9->n50_a_lob_n01_12 n50_a_lob_n01_14 PP n50_a_lob_n01_9->n50_a_lob_n01_14 n50_a_lob_n01_10->n50_a_lob_n01_11 n50_a_lob_n01_12->n50_a_lob_n01_13 n50_a_lob_n01_15 P-ROLE n50_a_lob_n01_14->n50_a_lob_n01_15 n50_a_lob_n01_17 NP n50_a_lob_n01_14->n50_a_lob_n01_17 n50_a_lob_n01_15->n50_a_lob_n01_16 n50_a_lob_n01_18 D n50_a_lob_n01_17->n50_a_lob_n01_18 n50_a_lob_n01_20 N n50_a_lob_n01_17->n50_a_lob_n01_20 n50_a_lob_n01_22 CP-THT n50_a_lob_n01_17->n50_a_lob_n01_22 n50_a_lob_n01_18->n50_a_lob_n01_19 n50_a_lob_n01_20->n50_a_lob_n01_21 n50_a_lob_n01_23 IP-SUB n50_a_lob_n01_22->n50_a_lob_n01_23 n50_a_lob_n01_24 C n50_a_lob_n01_23->n50_a_lob_n01_24 n50_a_lob_n01_26 NP-SBJ n50_a_lob_n01_23->n50_a_lob_n01_26 n50_a_lob_n01_32 HVD;_cat_Ve_ n50_a_lob_n01_23->n50_a_lob_n01_32 n50_a_lob_n01_34 IP-PPL-CAT n50_a_lob_n01_23->n50_a_lob_n01_34 n50_a_lob_n01_24->n50_a_lob_n01_25 n50_a_lob_n01_27 NP-GEN n50_a_lob_n01_26->n50_a_lob_n01_27 n50_a_lob_n01_30 N n50_a_lob_n01_26->n50_a_lob_n01_30 n50_a_lob_n01_28 PRO;_genm_ n50_a_lob_n01_27->n50_a_lob_n01_28 n50_a_lob_n01_28->n50_a_lob_n01_29 n50_a_lob_n01_30->n50_a_lob_n01_31 n50_a_lob_n01_32->n50_a_lob_n01_33 n50_a_lob_n01_35 BEN;_Ipr_ n50_a_lob_n01_34->n50_a_lob_n01_35 n50_a_lob_n01_37 PP-CLR n50_a_lob_n01_34->n50_a_lob_n01_37 n50_a_lob_n01_35->n50_a_lob_n01_36 n50_a_lob_n01_38 PP-CLR n50_a_lob_n01_37->n50_a_lob_n01_38 n50_a_lob_n01_52 CONJP n50_a_lob_n01_37->n50_a_lob_n01_52 n50_a_lob_n01_39 P-ROLE n50_a_lob_n01_38->n50_a_lob_n01_39 n50_a_lob_n01_41 NP n50_a_lob_n01_38->n50_a_lob_n01_41 n50_a_lob_n01_39->n50_a_lob_n01_40 n50_a_lob_n01_42 NLYR n50_a_lob_n01_41->n50_a_lob_n01_42 n50_a_lob_n01_43 NLYR n50_a_lob_n01_42->n50_a_lob_n01_43 n50_a_lob_n01_46 CONJP n50_a_lob_n01_42->n50_a_lob_n01_46 n50_a_lob_n01_44 NPR n50_a_lob_n01_43->n50_a_lob_n01_44 n50_a_lob_n01_44->n50_a_lob_n01_45 n50_a_lob_n01_47 CONJ n50_a_lob_n01_46->n50_a_lob_n01_47 n50_a_lob_n01_49 NLYR n50_a_lob_n01_46->n50_a_lob_n01_49 n50_a_lob_n01_47->n50_a_lob_n01_48 n50_a_lob_n01_50 NPR n50_a_lob_n01_49->n50_a_lob_n01_50 n50_a_lob_n01_50->n50_a_lob_n01_51 n50_a_lob_n01_53 CONJ n50_a_lob_n01_52->n50_a_lob_n01_53 n50_a_lob_n01_55 PP-CLR n50_a_lob_n01_52->n50_a_lob_n01_55 n50_a_lob_n01_53->n50_a_lob_n01_54 n50_a_lob_n01_56 ADV n50_a_lob_n01_55->n50_a_lob_n01_56 n50_a_lob_n01_58 P-ROLE n50_a_lob_n01_55->n50_a_lob_n01_58 n50_a_lob_n01_60 NP n50_a_lob_n01_55->n50_a_lob_n01_60 n50_a_lob_n01_56->n50_a_lob_n01_57 n50_a_lob_n01_58->n50_a_lob_n01_59 n50_a_lob_n01_61 NPR n50_a_lob_n01_60->n50_a_lob_n01_61 n50_a_lob_n01_63 PP n50_a_lob_n01_60->n50_a_lob_n01_63 n50_a_lob_n01_61->n50_a_lob_n01_62 n50_a_lob_n01_64 P-ROLE n50_a_lob_n01_63->n50_a_lob_n01_64 n50_a_lob_n01_66 NP n50_a_lob_n01_63->n50_a_lob_n01_66 n50_a_lob_n01_64->n50_a_lob_n01_65 n50_a_lob_n01_67 NPR n50_a_lob_n01_66->n50_a_lob_n01_67 n50_a_lob_n01_69 PP n50_a_lob_n01_66->n50_a_lob_n01_69 n50_a_lob_n01_67->n50_a_lob_n01_68 n50_a_lob_n01_70 P-ROLE n50_a_lob_n01_69->n50_a_lob_n01_70 n50_a_lob_n01_72 NP n50_a_lob_n01_69->n50_a_lob_n01_72 n50_a_lob_n01_70->n50_a_lob_n01_71 n50_a_lob_n01_73 NPR n50_a_lob_n01_72->n50_a_lob_n01_73 n50_a_lob_n01_73->n50_a_lob_n01_74 n50_a_lob_n01_75->n50_a_lob_n01_76 
( (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))