107_a_lob_n01
If they spotted us flying due east over Ancona, it might give them ideas.’
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_107_3_SPOTTED,R_107_2_THEY,R_107_5_FLYING,R_107_4_US,R_107_7_EAST,R_107_6_DUE,R_107_9_ANCONA] :
( ( they(R_107_2_THEY)
& us(R_107_4_US)
& due(R_107_6_DUE)
& ancona(R_107_9_ANCONA)
& spotted(R_107_3_SPOTTED,R_107_2_THEY,R_107_5_FLYING)
& flying(R_107_5_FLYING,R_107_4_US,R_107_7_EAST)
& east(R_107_7_EAST)
& attrib18(R_107_7_EAST,R_107_6_DUE)
& over(R_107_7_EAST,R_107_9_ANCONA) )
=> ? [R_107_12_MIGHT_GIVE,R_107_15_IDEAS,R_107_14_THEM] :
( ideas(R_107_15_IDEAS)
& them(R_107_14_THEM)
& might_give(R_107_12_MIGHT_GIVE,R_107_3_SPOTTED,R_107_15_IDEAS,R_107_14_THEM) ) ) ).
( (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))