arc(r_0047_0003__hung, r_0047_0001__Mr_dot__r_0047_0002__McGregor, arg0).
arc(r_0047_0003__hung, r_0047_0004__up, clr9).
arc(r_0047_0003__hung, r_0047_0008__and, arg1).
arc(r_0047_0005__the_r_0047_0007__jacket, r_0047_0006__little, attrib17).
arc(r_0047_0008__and, r_0047_0005__the_r_0047_0007__jacket, conj1).
arc(r_0047_0008__and, r_0047_0009__the_r_0047_0010__shoes, conj2).
arc(r_0047_0011__for_r_0047_0014__to_r_0047_0015__frighten, r_0047_0012__a_r_0047_0013__scare__hyphen__crow, arg0).
arc(r_0047_0011__for_r_0047_0014__to_r_0047_0015__frighten, r_0047_0016__the_r_0047_0017__blackbirds, arg1).
arc(z_000_47_a_potter_1902_30, r_0047_0003__hung, scope).
arc(z_000_47_a_potter_1902_30, r_0047_0011__for_r_0047_0014__to_r_0047_0015__frighten, restriction).

fof(formula,axiom,
    ? [R_0047_0001__MR_DOT__R_0047_0002__MCGREGOR,R_0047_0004__UP,R_0047_0006__LITTLE,R_0047_0005__THE_R_0047_0007__JACKET,R_0047_0009__THE_R_0047_0010__SHOES,R_0047_0008__AND,R_0047_0003__HUNG,R_0047_0012__A_R_0047_0013__SCARE__HYPHEN__CROW,R_0047_0016__THE_R_0047_0017__BLACKBIRDS,R_0047_0011__FOR_R_0047_0014__TO_R_0047_0015__FRIGHTEN,Z_000_47_A_POTTER_1902_30] :
      ( r_0047_0001__Mr_dot__r_0047_0002__McGregor(R_0047_0001__MR_DOT__R_0047_0002__MCGREGOR)
      & r_0047_0004__up(R_0047_0004__UP)
      & r_0047_0006__little(R_0047_0006__LITTLE)
      & r_0047_0009__the_r_0047_0010__shoes(R_0047_0009__THE_R_0047_0010__SHOES)
      & r_0047_0012__a_r_0047_0013__scare__hyphen__crow(R_0047_0012__A_R_0047_0013__SCARE__HYPHEN__CROW)
      & r_0047_0016__the_r_0047_0017__blackbirds(R_0047_0016__THE_R_0047_0017__BLACKBIRDS)
      & z_000_47_a_potter_1902_30(Z_000_47_A_POTTER_1902_30)
      & has_conj1(Z_000_47_A_POTTER_1902_30,R_0047_0011__FOR_R_0047_0014__TO_R_0047_0015__FRIGHTEN)
      & r_0047_0011__for_r_0047_0014__to_r_0047_0015__frighten(R_0047_0011__FOR_R_0047_0014__TO_R_0047_0015__FRIGHTEN)
      & has_arg1(R_0047_0011__FOR_R_0047_0014__TO_R_0047_0015__FRIGHTEN,R_0047_0016__THE_R_0047_0017__BLACKBIRDS)
      & has_arg0(R_0047_0011__FOR_R_0047_0014__TO_R_0047_0015__FRIGHTEN,R_0047_0012__A_R_0047_0013__SCARE__HYPHEN__CROW)
      & has_conj2(Z_000_47_A_POTTER_1902_30,R_0047_0003__HUNG)
      & r_0047_0003__hung(R_0047_0003__HUNG)
      & has_arg1(R_0047_0003__HUNG,R_0047_0008__AND)
      & r_0047_0008__and(R_0047_0008__AND)
      & has_conj2(R_0047_0008__AND,R_0047_0009__THE_R_0047_0010__SHOES)
      & has_conj1(R_0047_0008__AND,R_0047_0005__THE_R_0047_0007__JACKET)
      & r_0047_0005__the_r_0047_0007__jacket(R_0047_0005__THE_R_0047_0007__JACKET)
      & has_attrib17(R_0047_0005__THE_R_0047_0007__JACKET,R_0047_0006__LITTLE)
      & has_clr9(R_0047_0003__HUNG,R_0047_0004__UP)
      & has_arg0(R_0047_0003__HUNG,R_0047_0001__MR_DOT__R_0047_0002__MCGREGOR) ) ).

( (IP-MAT (NP-SBJ;{MRMCG} (N Mr<dot>)
                          (NPR McGregor;{McGregor}))
          (VBD;_Tn.p_ hung;{hang[up]})
          (ADVP-CLR (RP up;{up}))
          (NP-OB1 (NLYR (NLYR;{JACKET} (D the;{the})
                                       (ADJP (ADJ little;{little}))
                                       (N jacket;{jacket}))
                        (CONJP (CONJ and;{and})
                               (NLYR;{SHOES} (D the;{the})
                                             (NS shoes;{shoe})))))
          (PP-SCON (IP-INF (P-CONN for;{for})
                           (NP-SBJ (D a;{a})
                                   (N scare_<hyphen>_crow;{scarecrow}))
                           (TO to;{to})
                           (VB;_Tn_ frighten;{frighten})
                           (NP-OB1 (D the;{the})
                                   (NS blackbirds;{blackbird}))))
          (PUNC .))
  (ID 47_a_potter_1902))