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, attrib18).
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_0003__spotted, arg0).
arc(r_0107_0013__give, r_0107_0014__them, arg2).
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_attrib18(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_0014__THEM,R_0107_0015__IDEAS,R_0107_0012__MIGHT_R_0107_0013__GIVE] :
          ( r_0107_0014__them(R_0107_0014__THEM)
          & 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_arg2(R_0107_0012__MIGHT_R_0107_0013__GIVE,R_0107_0014__THEM)
          & has_arg0(R_0107_0012__MIGHT_R_0107_0013__GIVE,R_0107_0003__SPOTTED) ) ) ).

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