45_a_lob_n01
Geoffrey focused the radar scanner on the bridge over the Po, barely forty miles to port.
arc(r_0045_0002__focused, r_0045_0001__Geoffrey, arg0).
arc(r_0045_0002__focused, r_0045_0003__the_r_0045_0004__radar_r_0045_0005__scanner, arg1).
arc(r_0045_0002__focused, r_0045_0007__the_r_0045_0008__bridge, r_0045_0006__on_clr17).
arc(r_0045_0007__the_r_0045_0008__bridge, r_0045_0010__the_r_0045_0011__Po, r_0045_0009__over).
arc(r_0045_0014__forty_r_0045_0015__miles, r_0045_0013__barely, qual34).
arc(r_0045_0014__forty_r_0045_0015__miles, r_0045_0017__port, r_0045_0016__to).
arc(z_000_45_a_lob_n01_32, r_0045_0007__the_r_0045_0008__bridge, arg0).
arc(z_000_45_a_lob_n01_32, r_0045_0014__forty_r_0045_0015__miles, prd).
fof(formula,axiom,
? [R_45_2_FOCUSED,R_45_1_GEOFFREY,R_45_3_THE_RADAR_SCANNER,Z_45_A_LOB_N01_32,R_45_7_THE_BRIDGE,R_45_10_THE_PO,R_45_14_FORTY_MILES,R_45_13_BARELY,R_45_17_PORT] :
( geoffrey(R_45_1_GEOFFREY)
& the_radar_scanner(R_45_3_THE_RADAR_SCANNER)
& the_Po(R_45_10_THE_PO)
& barely(R_45_13_BARELY)
& port(R_45_17_PORT)
& focused(R_45_2_FOCUSED,R_45_1_GEOFFREY,R_45_3_THE_RADAR_SCANNER)
& on_clr17(R_45_2_FOCUSED,R_45_7_THE_BRIDGE)
& the_bridge(R_45_7_THE_BRIDGE)
& over(R_45_7_THE_BRIDGE,R_45_10_THE_PO)
& z_45_a_lob_n01_32(Z_45_A_LOB_N01_32,R_45_7_THE_BRIDGE,R_45_14_FORTY_MILES)
& forty_miles(R_45_14_FORTY_MILES)
& qual34(R_45_14_FORTY_MILES,R_45_13_BARELY)
& to(R_45_14_FORTY_MILES,R_45_17_PORT) ) ).
( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
(VBD;_Tn.pr_ focused;{focus[on]})
(NP-OB1;{SCANNER} (D the;{the})
(N radar;{radar})
(N scanner;{scanner}))
(PP-CLR (P-ROLE on;{on})
(NP (D the;{the})
(N bridge;{bridge})
(PP (P-ROLE over;{over})
(NP (D the;{the})
(N Po;{po})))
(PUNC ,)
(IP-PPL (NP-PRD (ADVP (ADV barely;{barely}))
(NUM forty;{forty})
(NS miles;{mile})
(PP (P-ROLE to;{to})
(NP (N port;{port})))))))
(PUNC .))
(ID 45_a_lob_n01))