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

%3 r_0107_0001__If If r_0107_0003__spotted spotted r_0107_0001__If->r_0107_0003__spotted [restriction] r_0107_0012__might might r_0107_0001__If->r_0107_0012__might [scope] r_0107_0002__they they r_0107_0003__spotted->r_0107_0002__they [arg0] r_0107_0005__flying flying r_0107_0003__spotted->r_0107_0005__flying [arg1] r_0107_0013__give give r_0107_0012__might->r_0107_0013__give [scope] r_0107_0004__us us r_0107_0005__flying->r_0107_0004__us [arg0] r_0107_0007__east east r_0107_0005__flying->r_0107_0007__east [arg1] r_0107_0006__due due r_0107_0007__east->r_0107_0006__due [attrib] r_0107_0009__Ancona Ancona r_0107_0007__east->r_0107_0009__Ancona over r_0107_0013__give->r_0107_0003__spotted [arg0] r_0107_0014__them them r_0107_0013__give->r_0107_0014__them [arg2] r_0107_0015__ideas ideas r_0107_0013__give->r_0107_0015__ideas [arg1]
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).



%3 r_0107_0001__If If r_0107_0003__spotted spotted r_0107_0001__If->r_0107_0003__spotted [restriction] r_0107_0012__might_r_0107_0013__give might give r_0107_0001__If->r_0107_0012__might_r_0107_0013__give [scope] r_0107_0002__they they r_0107_0003__spotted->r_0107_0002__they [arg0] r_0107_0005__flying flying r_0107_0003__spotted->r_0107_0005__flying [arg1] r_0107_0012__might_r_0107_0013__give->r_0107_0003__spotted [arg0] r_0107_0014__them them r_0107_0012__might_r_0107_0013__give->r_0107_0014__them [arg2] r_0107_0015__ideas ideas r_0107_0012__might_r_0107_0013__give->r_0107_0015__ideas [arg1] r_0107_0004__us us r_0107_0005__flying->r_0107_0004__us [arg0] r_0107_0007__east east r_0107_0005__flying->r_0107_0007__east [arg1] r_0107_0006__due due r_0107_0007__east->r_0107_0006__due [attrib] r_0107_0009__Ancona Ancona r_0107_0007__east->r_0107_0009__Ancona over
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) ) ) ).



n107_a_lob_n01 n107_a_lob_n01_4 If n107_a_lob_n01_8 they n107_a_lob_n01_10 spotted n107_a_lob_n01_13 us n107_a_lob_n01_16 flying n107_a_lob_n01_20 due n107_a_lob_n01_22 east n107_a_lob_n01_25 over n107_a_lob_n01_28 Ancona n107_a_lob_n01_30 , n107_a_lob_n01_33 it n107_a_lob_n01_35 might n107_a_lob_n01_38 give n107_a_lob_n01_41 them n107_a_lob_n01_44 ideas n107_a_lob_n01_46 . n107_a_lob_n01_48 <rquo> n107_a_lob_n01_1 IP-MAT n107_a_lob_n01_2 PP-SCON n107_a_lob_n01_1->n107_a_lob_n01_2 n107_a_lob_n01_29 PUNC n107_a_lob_n01_1->n107_a_lob_n01_29 n107_a_lob_n01_31 NP-SBJ n107_a_lob_n01_1->n107_a_lob_n01_31 n107_a_lob_n01_34 MD;_cat_Vi_ n107_a_lob_n01_1->n107_a_lob_n01_34 n107_a_lob_n01_36 IP-INF-CAT n107_a_lob_n01_1->n107_a_lob_n01_36 n107_a_lob_n01_45 PUNC n107_a_lob_n01_1->n107_a_lob_n01_45 n107_a_lob_n01_47 PURQ n107_a_lob_n01_1->n107_a_lob_n01_47 n107_a_lob_n01_3 P-CONN n107_a_lob_n01_2->n107_a_lob_n01_3 n107_a_lob_n01_5 IP-ADV n107_a_lob_n01_2->n107_a_lob_n01_5 n107_a_lob_n01_3->n107_a_lob_n01_4 n107_a_lob_n01_6 NP-SBJ n107_a_lob_n01_5->n107_a_lob_n01_6 n107_a_lob_n01_9 VBD;_Tng_ n107_a_lob_n01_5->n107_a_lob_n01_9 n107_a_lob_n01_11 NP-DOB1 n107_a_lob_n01_5->n107_a_lob_n01_11 n107_a_lob_n01_14 IP-PPL-OB1 n107_a_lob_n01_5->n107_a_lob_n01_14 n107_a_lob_n01_7 PRO n107_a_lob_n01_6->n107_a_lob_n01_7 n107_a_lob_n01_7->n107_a_lob_n01_8 n107_a_lob_n01_9->n107_a_lob_n01_10 n107_a_lob_n01_12 PRO n107_a_lob_n01_11->n107_a_lob_n01_12 n107_a_lob_n01_12->n107_a_lob_n01_13 n107_a_lob_n01_15 VAG;_Tn_ n107_a_lob_n01_14->n107_a_lob_n01_15 n107_a_lob_n01_17 NP-OB1 n107_a_lob_n01_14->n107_a_lob_n01_17 n107_a_lob_n01_15->n107_a_lob_n01_16 n107_a_lob_n01_18 ADJP n107_a_lob_n01_17->n107_a_lob_n01_18 n107_a_lob_n01_21 N n107_a_lob_n01_17->n107_a_lob_n01_21 n107_a_lob_n01_23 PP n107_a_lob_n01_17->n107_a_lob_n01_23 n107_a_lob_n01_19 ADJ n107_a_lob_n01_18->n107_a_lob_n01_19 n107_a_lob_n01_19->n107_a_lob_n01_20 n107_a_lob_n01_21->n107_a_lob_n01_22 n107_a_lob_n01_24 P-ROLE n107_a_lob_n01_23->n107_a_lob_n01_24 n107_a_lob_n01_26 NP n107_a_lob_n01_23->n107_a_lob_n01_26 n107_a_lob_n01_24->n107_a_lob_n01_25 n107_a_lob_n01_27 NPR n107_a_lob_n01_26->n107_a_lob_n01_27 n107_a_lob_n01_27->n107_a_lob_n01_28 n107_a_lob_n01_29->n107_a_lob_n01_30 n107_a_lob_n01_32 PRO n107_a_lob_n01_31->n107_a_lob_n01_32 n107_a_lob_n01_32->n107_a_lob_n01_33 n107_a_lob_n01_34->n107_a_lob_n01_35 n107_a_lob_n01_37 VB;_Dn.n_ n107_a_lob_n01_36->n107_a_lob_n01_37 n107_a_lob_n01_39 NP-OB2 n107_a_lob_n01_36->n107_a_lob_n01_39 n107_a_lob_n01_42 NP-OB1 n107_a_lob_n01_36->n107_a_lob_n01_42 n107_a_lob_n01_37->n107_a_lob_n01_38 n107_a_lob_n01_40 PRO n107_a_lob_n01_39->n107_a_lob_n01_40 n107_a_lob_n01_40->n107_a_lob_n01_41 n107_a_lob_n01_43 NS n107_a_lob_n01_42->n107_a_lob_n01_43 n107_a_lob_n01_43->n107_a_lob_n01_44 n107_a_lob_n01_45->n107_a_lob_n01_46 n107_a_lob_n01_47->n107_a_lob_n01_48
( (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))