arc(r_0060_0001__One, r_0060_0004__hon_dot__r_0060_0005__Friends, r_0060_0002__of).
arc(r_0060_0004__hon_dot__r_0060_0005__Friends, r_0060_0003__my, gen).
arc(r_0060_0006__suggested, r_0060_0001__One, arg0).
arc(r_0060_0006__suggested, r_0060_0007__that_r_0060_0009__might, arg1).
arc(r_0060_0007__that_r_0060_0009__might, r_0060_0010__be, scope).
arc(r_0060_0010__be, r_0060_0008__this, arg0).
arc(r_0060_0010__be, r_0060_0011__a_r_0060_0013__plot, prd).
arc(r_0060_0011__a_r_0060_0013__plot, r_0060_0012__Catholic, attrib35).
arc(r_0060_0014__to_r_0060_0015__ensure, r_0060_0011__a_r_0060_0013__plot, arg0).
arc(r_0060_0014__to_r_0060_0015__ensure, r_0060_0016__that_r_0060_0018__was, arg1).
arc(r_0060_0016__that_r_0060_0018__was, r_0060_0019__taken_r_0060_0020__away, scope).
arc(r_0060_0019__taken_r_0060_0020__away, r_0060_0017__attention, arg1).
arc(r_0060_0019__taken_r_0060_0020__away, r_0060_0022__Guy_r_0060_0023__Fawkes, r_0060_0021__from_nim66).
arc(r_0060_0019__taken_r_0060_0020__away, z_000_60_a_hedgehog_57, arg0).
arc(r_0060_0025__but, r_0060_0006__suggested, conj1).
arc(r_0060_0025__but, r_0060_0028__dismissed, conj2).
arc(r_0060_0028__dismissed, r_0060_0003__my, arg0).
arc(r_0060_0028__dismissed, r_0060_0027__rather, nim80).
arc(r_0060_0028__dismissed, r_0060_0029__that, arg1).

fof(formula,axiom,
    ? [R_60_14_TO_ENSURE,R_60_16_THAT_WAS_TAKEN_AWAY,Z_60_A_HEDGEHOG_57,R_60_17_ATTENTION,R_60_22_GUY_FAWKES,R_60_25_BUT,R_60_6_SUGGESTED,R_60_1_ONE,R_60_4_HON_DOT_FRIENDS,R_60_7_THAT_MIGHT_BE,R_60_8_THIS,R_60_11_A_PLOT,R_60_12_CATHOLIC,R_60_28_DISMISSED,R_60_3_MY,R_60_29_THAT,R_60_27_RATHER] :
      ( attention(R_60_17_ATTENTION)
      & guy_Fawkes(R_60_22_GUY_FAWKES)
      & this(R_60_8_THIS)
      & catholic(R_60_12_CATHOLIC)
      & my(R_60_3_MY)
      & that(R_60_29_THAT)
      & rather(R_60_27_RATHER)
      & to_ensure(R_60_14_TO_ENSURE,R_60_11_A_PLOT,R_60_16_THAT_WAS_TAKEN_AWAY)
      & a_plot(R_60_11_A_PLOT)
      & attrib35(R_60_11_A_PLOT,R_60_12_CATHOLIC)
      & that_was_taken_away(R_60_16_THAT_WAS_TAKEN_AWAY,Z_60_A_HEDGEHOG_57,R_60_17_ATTENTION)
      & from_nim66(R_60_16_THAT_WAS_TAKEN_AWAY,R_60_22_GUY_FAWKES)
      & but(R_60_25_BUT)
      & conj1(R_60_25_BUT,R_60_6_SUGGESTED)
      & suggested(R_60_6_SUGGESTED,R_60_1_ONE,R_60_7_THAT_MIGHT_BE)
      & one(R_60_1_ONE)
      & of(R_60_1_ONE,R_60_4_HON_DOT_FRIENDS)
      & hon_dot_Friends(R_60_4_HON_DOT_FRIENDS)
      & gen(R_60_4_HON_DOT_FRIENDS,R_60_3_MY)
      & that_might_be(R_60_7_THAT_MIGHT_BE,R_60_8_THIS,R_60_11_A_PLOT)
      & conj2(R_60_25_BUT,R_60_28_DISMISSED)
      & dismissed(R_60_28_DISMISSED,R_60_3_MY,R_60_29_THAT)
      & nim80(R_60_28_DISMISSED,R_60_27_RATHER) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (NUM One;{one})
                              (PP (P-ROLE of;{of})
                                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                                      (N hon<dot>;{honorable})
                                      (NS Friends;{friend}))))
                      (VBD;_Tf_ suggested;{suggest})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (D;_nphd_ this;{this}))
                                          (MD;_cat_Vi_ might;{may})
                                          (IP-INF-CAT (BE;_Ln_ be;{be})
                                                      (NP-PRD;{PLOT} (D a;{a})
                                                                     (ADJP (ADJ Catholic;{catholic}))
                                                                     (N plot;{plot})
                                                                     (IP-INF-REL (NP-SBJ *T*)
                                                                                 (TO to;{to})
                                                                                 (VB;_Tf_ ensure;{ensure})
                                                                                 (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                                                     (NP-SBJ (N attention;{attention}))
                                                                                                     (BED;_cat_VePASS_ was;{be})
                                                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                                                 (VVN;_phr_Vn<=>p_ taken;{take[away]})
                                                                                                                 (RP away;{away})
                                                                                                                 (PP-NIM (P-ROLE from;{from})
                                                                                                                         (NP (NPR Guy;{Guy})
                                                                                                                             (NPR Fawkes;{Fawkes}))))))))))))
                (PUNC --)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (ADVP-NIM (ADV rather;{rather}))
                             (VBD;_Tn_ dismissed;{dismiss})
                             (NP-OB1;{PLOT} (P-ROLE that;{that})))))
          (PUNC .))
  (ID 60_a_hedgehog;speaker=Colvile))