TSPC 107_a_lob

107_a_lob_n01
If they spotted us flying due east over Ancona, it might give them ideas.’

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV;{SPOT} (NP-SBJ;{OTHERS} (PRO they;{they}))
                                  (VBD;_Tng_ spotted;{spot})
                                  (NP-DOB1;{ALASTAIR+GEOFFREY} (PRO us;{we}))
                                  (IP-PPL-OB1 (VAG;_Tn_ flying;{fly})
                                              (NP-OB1 (ADJP (ADJ due;{due}))
                                                      (N east;{east})
                                                      (PP (P-ROLE over;{over})
                                                          (NP (NPR Ancona;{Ancona})))))))
          (PUNC ,)
          (NP-SBJ;{SPOT} (PRO it;{it}))
          (MD;_cat_Vi_ might;{may})
          (IP-INF-CAT (VB;_Dn.n_ give;{give})
                      (NP-OB2;{OTHERS} (PRO them;{they}))
                      (NP-OB1 (NS ideas;{idea})))
          (PUNC .)
          (PURQ <rquo>))
  (ID 107_a_lob_n01))

arc(r_0107_0001__If,r_0107_0003__spotted,restriction).
arc(r_0107_0001__If,r_0107_0012__might,scope).
arc(r_0107_0003__spotted,r_0107_0002__they,arg0).
arc(r_0107_0003__spotted,r_0107_0005__flying,arg1).
arc(r_0107_0005__flying,r_0107_0004__us,arg0).
arc(r_0107_0005__flying,r_0107_0007__east,arg1).
arc(r_0107_0007__east,r_0107_0006__due,attrib).
arc(r_0107_0007__east,r_0107_0009__Ancona,r_0107_0008__over).
arc(r_0107_0012__might,r_0107_0013__give,scope).
arc(r_0107_0013__give,r_0107_0002__they,arg2).
arc(r_0107_0013__give,r_0107_0003__spotted,arg0).
arc(r_0107_0013__give,r_0107_0015__ideas,arg1).

fof(formula,axiom,
    ! [R_0107_0003__SPOTTED,R_0107_0002__THEY,R_0107_0004__US,R_0107_0006__DUE,R_0107_0009__ANCONA,R_0107_0007__EAST,R_0107_0005__FLYING] :
      ( ( r_0107_0002__they(R_0107_0002__THEY)
        & r_0107_0004__us(R_0107_0004__US)
        & r_0107_0006__due(R_0107_0006__DUE)
        & r_0107_0009__Ancona(R_0107_0009__ANCONA)
        & r_0107_0003__spotted(R_0107_0003__SPOTTED)
        & has_arg1(R_0107_0003__SPOTTED,R_0107_0005__FLYING)
        & r_0107_0005__flying(R_0107_0005__FLYING)
        & has_arg1(R_0107_0005__FLYING,R_0107_0007__EAST)
        & r_0107_0007__east(R_0107_0007__EAST)
        & has_r_0107_0008__over(R_0107_0007__EAST,R_0107_0009__ANCONA)
        & has_attrib(R_0107_0007__EAST,R_0107_0006__DUE)
        & has_arg0(R_0107_0005__FLYING,R_0107_0004__US)
        & has_arg0(R_0107_0003__SPOTTED,R_0107_0002__THEY) )
     => ? [R_0107_0015__IDEAS,R_0107_0012__MIGHT_R_0107_0013__GIVE] :
          ( r_0107_0015__ideas(R_0107_0015__IDEAS)
          & r_0107_0012__might_r_0107_0013__give(R_0107_0012__MIGHT_R_0107_0013__GIVE)
          & has_arg1(R_0107_0012__MIGHT_R_0107_0013__GIVE,R_0107_0015__IDEAS)
          & has_arg0(R_0107_0012__MIGHT_R_0107_0013__GIVE,R_0107_0003__SPOTTED)
          & has_arg2(R_0107_0012__MIGHT_R_0107_0013__GIVE,R_0107_0002__THEY) ) ) ).