TSPC 45_a_lob

45_a_lob_n01
Geoffrey focused the radar scanner on the bridge over the Po, barely forty miles to 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 ,)
                      (PRN (NP (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))

arc(r_0045_0002__focused_r_0045_0006__on,r_0045_0001__Geoffrey,arg0).
arc(r_0045_0002__focused_r_0045_0006__on,r_0045_0003__the_r_0045_0004__radar_r_0045_0005__scanner,arg1).
arc(r_0045_0002__focused_r_0045_0006__on,r_0045_0007__the_r_0045_0008__bridge,arg2).
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,qual).
arc(r_0045_0014__forty_r_0045_0015__miles,r_0045_0017__port,r_0045_0016__to).
arc(z_0045_5007,r_0045_0007__the_r_0045_0008__bridge,arg0).
arc(z_0045_5007,r_0045_0014__forty_r_0045_0015__miles,prd).

fof(formula,axiom,
    ? [R_0045_0001__GEOFFREY,R_0045_0003__THE_R_0045_0004__RADAR_R_0045_0005__SCANNER,R_0045_0010__THE_R_0045_0011__PO,R_0045_0007__THE_R_0045_0008__BRIDGE,R_0045_0002__FOCUSED_R_0045_0006__ON,R_0045_0013__BARELY,R_0045_0017__PORT,R_0045_0014__FORTY_R_0045_0015__MILES,Z_0045_5007] :
      ( r_0045_0001__Geoffrey(R_0045_0001__GEOFFREY)
      & r_0045_0003__the_r_0045_0004__radar_r_0045_0005__scanner(R_0045_0003__THE_R_0045_0004__RADAR_R_0045_0005__SCANNER)
      & r_0045_0010__the_r_0045_0011__Po(R_0045_0010__THE_R_0045_0011__PO)
      & r_0045_0013__barely(R_0045_0013__BARELY)
      & r_0045_0017__port(R_0045_0017__PORT)
      & z_0045_5007(Z_0045_5007)
      & has_prd(Z_0045_5007,R_0045_0014__FORTY_R_0045_0015__MILES)
      & r_0045_0014__forty_r_0045_0015__miles(R_0045_0014__FORTY_R_0045_0015__MILES)
      & has_r_0045_0016__to(R_0045_0014__FORTY_R_0045_0015__MILES,R_0045_0017__PORT)
      & has_qual(R_0045_0014__FORTY_R_0045_0015__MILES,R_0045_0013__BARELY)
      & has_arg0(Z_0045_5007,R_0045_0007__THE_R_0045_0008__BRIDGE)
      & r_0045_0007__the_r_0045_0008__bridge(R_0045_0007__THE_R_0045_0008__BRIDGE)
      & has_r_0045_0009__over(R_0045_0007__THE_R_0045_0008__BRIDGE,R_0045_0010__THE_R_0045_0011__PO)
      & r_0045_0002__focused_r_0045_0006__on(R_0045_0002__FOCUSED_R_0045_0006__ON)
      & has_arg2(R_0045_0002__FOCUSED_R_0045_0006__ON,R_0045_0007__THE_R_0045_0008__BRIDGE)
      & has_arg1(R_0045_0002__FOCUSED_R_0045_0006__ON,R_0045_0003__THE_R_0045_0004__RADAR_R_0045_0005__SCANNER)
      & has_arg0(R_0045_0002__FOCUSED_R_0045_0006__ON,R_0045_0001__GEOFFREY) ) ).