arc(r_0042_0001__Another_r_0042_0003__fact, r_0042_0002__fascinating, attrib5).
arc(r_0042_0001__Another_r_0042_0003__fact, r_0042_0005__hedgehogs, r_0042_0004__about).
arc(r_0042_0009__hon_dot__r_0042_0010__Friend, r_0042_0008__my, gen).
arc(r_0042_0011__might, r_0042_0012__be, scope).
arc(r_0042_0012__be, r_0042_0009__hon_dot__r_0042_0010__Friend, arg0).
arc(r_0042_0012__be, r_0042_0013__aware, prd).
arc(r_0042_0013__aware, r_0042_0001__Another_r_0042_0003__fact, r_0042_0014__of).
arc(r_0042_0016__is, r_0042_0001__Another_r_0042_0003__fact, arg0).
arc(r_0042_0016__is, r_0042_0026__but, prd).
arc(r_0042_0019__run, r_0042_0005__hedgehogs, arg0).
arc(r_0042_0019__run, r_0042_0021__1_dot_2_r_0042_0022__km, r_0042_0020__up_to_clr61).
arc(r_0042_0026__but, r_0042_0019__run, conj1).
arc(r_0042_0026__but, r_0042_0028__have, conj2).
arc(r_0042_0028__have, r_0042_0029__to_r_0042_0030__find, scope).
arc(r_0042_0029__to_r_0042_0030__find, r_0042_0005__hedgehogs, arg0).
arc(r_0042_0029__to_r_0042_0030__find, r_0042_0031__a_r_0042_0032__mate, arg1).
arc(z_000_42_a_hedgehog_66, r_0042_0021__1_dot_2_r_0042_0022__km, arg0).
arc(z_000_42_a_hedgehog_66, r_0042_0023__a_r_0042_0024__night, prd).

fof(formula,axiom,
    ? [R_42_11_MIGHT_BE,R_42_9_HON_DOT_FRIEND,R_42_8_MY,R_42_13_AWARE,R_42_16_IS,R_42_1_ANOTHER_FACT,R_42_2_FASCINATING,R_42_26_BUT,R_42_19_RUN,R_42_28_HAVE_TO_FIND,R_42_5_HEDGEHOGS,R_42_31_A_MATE,Z_42_A_HEDGEHOG_66,R_42_21_1_DOT_2_KM,R_42_23_A_NIGHT] :
      ( my(R_42_8_MY)
      & fascinating(R_42_2_FASCINATING)
      & hedgehogs(R_42_5_HEDGEHOGS)
      & a_mate(R_42_31_A_MATE)
      & 1_dot_2_km(R_42_21_1_DOT_2_KM)
      & a_night(R_42_23_A_NIGHT)
      & might_be(R_42_11_MIGHT_BE,R_42_9_HON_DOT_FRIEND,R_42_13_AWARE)
      & hon_dot_Friend(R_42_9_HON_DOT_FRIEND)
      & gen(R_42_9_HON_DOT_FRIEND,R_42_8_MY)
      & aware(R_42_13_AWARE)
      & of(R_42_13_AWARE,R_42_1_ANOTHER_FACT)
      & another_fact(R_42_1_ANOTHER_FACT)
      & attrib5(R_42_1_ANOTHER_FACT,R_42_2_FASCINATING)
      & about(R_42_1_ANOTHER_FACT,R_42_5_HEDGEHOGS)
      & is(R_42_16_IS,R_42_1_ANOTHER_FACT,R_42_26_BUT)
      & but(R_42_26_BUT)
      & conj1(R_42_26_BUT,R_42_19_RUN)
      & run(R_42_19_RUN,R_42_5_HEDGEHOGS)
      & up_to_clr61(R_42_19_RUN,R_42_21_1_DOT_2_KM)
      & conj2(R_42_26_BUT,R_42_28_HAVE_TO_FIND)
      & have_to_find(R_42_28_HAVE_TO_FIND,R_42_5_HEDGEHOGS,R_42_31_A_MATE)
      & z_42_a_hedgehog_66(Z_42_A_HEDGEHOG_66,R_42_21_1_DOT_2_KM,R_42_23_A_NIGHT) ) ).

( (IP-MAT (NP-SBJ (D Another;{another})
                  (ADJP (ADJ fascinating;{fascinating}))
                  (N fact;{fact})
                  (PP (P-ROLE about;{about})
                      (NP;{HEDGEHOGS} (NS hedgehogs;{hedgehog})))
                  (PUNC ,)
                  (IP-REL (NP-120 (RPRO which;{which}))
                          (NP-SBJ;{COLVILE} (NP-GEN (PRO;_genm_ my;{my}))
                                            (N hon<dot>;{honorable})
                                            (N Friend;{friend}))
                          (MD;_cat_Vi_ might;{may})
                          (IP-INF-CAT (BE;_La_ be;{be})
                                      (ADJP-PRD (ADJ aware;{aware})
                                                (PP (P-ROLE of;{of})
                                                    (NP *ICH*-120))))))
          (PUNC ,)
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (ILYR (ILYR (NP-SBJ;{HEDGEHOGS} (PRO they;{they}))
                                          (VBP;_Ipr_ run;{run[up_to]})
                                          (PP-CLR (P-ROLE up_to;{up_to})
                                                  (NP (NUM 1<dot>2)
                                                      (N km;{km})
                                                      (IP-PPL (NP-PRD (D a;{a})
                                                                      (N night;{night}))))))
                                    (PUNC ,)
                                    (CONJP (CONJ but;{but})
                                           (ILYR (NP-SBJ;{HEDGEHOGS} (PRO they;{they}))
                                                 (HVP;_cat_Vt_ have;{have})
                                                 (IP-INF-CAT (TO to;{to})
                                                             (VB;_Tn_ find;{find})
                                                             (NP-OB1 (D a;{a})
                                                                     (N mate;{mate}))))))))
          (PUNC .))
  (ID 42_a_hedgehog;speaker=Pow))