arc(r_0116_0002__is, r_0116_0001__It, arg0).
arc(r_0116_0002__is, r_0116_0003__a_r_0116_0004__creature, prd).
arc(r_0116_0006__appears, r_0116_0003__a_r_0116_0004__creature, arg0).
arc(r_0116_0006__appears, r_0116_0008__cylinder_r_0116_0009__seals, r_0116_0007__on_clr24).
arc(r_0116_0008__cylinder_r_0116_0009__seals, r_0116_0011__Sumeria, r_0116_0010__in).
arc(r_0116_0016__the_r_0116_0017__prows, r_0116_0020__ships, r_0116_0018__of).
arc(r_0116_0020__ships, r_0116_0019__Egyptian, attrib57).
arc(z_000_116_a_hedgehog_17, r_0116_0006__appears, conj1).
arc(z_000_116_a_hedgehog_17, z_000_116_a_hedgehog_38, conj2).
arc(z_000_116_a_hedgehog_38, r_0116_0003__a_r_0116_0004__creature, arg0).
arc(z_000_116_a_hedgehog_38, r_0116_0013__bent, prd).
arc(z_000_116_a_hedgehog_38, r_0116_0014__backwards, nim42).
arc(z_000_116_a_hedgehog_38, r_0116_0016__the_r_0116_0017__prows, r_0116_0015__on_nim48).

fof(formula,axiom,
    ? [R_0116_0001__IT,R_0116_0003__A_R_0116_0004__CREATURE,R_0116_0002__IS,R_0116_0011__SUMERIA,R_0116_0008__CYLINDER_R_0116_0009__SEALS,R_0116_0006__APPEARS,R_0116_0013__BENT,R_0116_0014__BACKWARDS,R_0116_0019__EGYPTIAN,R_0116_0020__SHIPS,R_0116_0016__THE_R_0116_0017__PROWS,Z_000_116_A_HEDGEHOG_38,Z_000_116_A_HEDGEHOG_17] :
      ( r_0116_0001__It(R_0116_0001__IT)
      & r_0116_0003__a_r_0116_0004__creature(R_0116_0003__A_R_0116_0004__CREATURE)
      & r_0116_0011__Sumeria(R_0116_0011__SUMERIA)
      & r_0116_0013__bent(R_0116_0013__BENT)
      & r_0116_0014__backwards(R_0116_0014__BACKWARDS)
      & r_0116_0019__Egyptian(R_0116_0019__EGYPTIAN)
      & z_000_116_a_hedgehog_17(Z_000_116_A_HEDGEHOG_17)
      & has_conj2(Z_000_116_A_HEDGEHOG_17,Z_000_116_A_HEDGEHOG_38)
      & z_000_116_a_hedgehog_38(Z_000_116_A_HEDGEHOG_38)
      & has_r_0116_0015__on_nim48(Z_000_116_A_HEDGEHOG_38,R_0116_0016__THE_R_0116_0017__PROWS)
      & r_0116_0016__the_r_0116_0017__prows(R_0116_0016__THE_R_0116_0017__PROWS)
      & has_r_0116_0018__of(R_0116_0016__THE_R_0116_0017__PROWS,R_0116_0020__SHIPS)
      & r_0116_0020__ships(R_0116_0020__SHIPS)
      & has_attrib57(R_0116_0020__SHIPS,R_0116_0019__EGYPTIAN)
      & has_nim42(Z_000_116_A_HEDGEHOG_38,R_0116_0014__BACKWARDS)
      & has_prd(Z_000_116_A_HEDGEHOG_38,R_0116_0013__BENT)
      & has_arg0(Z_000_116_A_HEDGEHOG_38,R_0116_0003__A_R_0116_0004__CREATURE)
      & has_conj1(Z_000_116_A_HEDGEHOG_17,R_0116_0006__APPEARS)
      & r_0116_0006__appears(R_0116_0006__APPEARS)
      & has_r_0116_0007__on_clr24(R_0116_0006__APPEARS,R_0116_0008__CYLINDER_R_0116_0009__SEALS)
      & r_0116_0008__cylinder_r_0116_0009__seals(R_0116_0008__CYLINDER_R_0116_0009__SEALS)
      & has_r_0116_0010__in(R_0116_0008__CYLINDER_R_0116_0009__SEALS,R_0116_0011__SUMERIA)
      & has_arg0(R_0116_0006__APPEARS,R_0116_0003__A_R_0116_0004__CREATURE)
      & r_0116_0002__is(R_0116_0002__IS)
      & has_prd(R_0116_0002__IS,R_0116_0003__A_R_0116_0004__CREATURE)
      & has_arg0(R_0116_0002__IS,R_0116_0001__IT) ) ).

( (IP-MAT (NP-SBJ;{HEDGEHOG} (PRO It;{it}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N creature;{creature})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (ILYR (ILYR (VBP;_Ipr_ appears;{appear[on]})
                                      (PP-CLR (P-ROLE on;{on})
                                              (NP (N cylinder;{cylinder})
                                                  (NS seals;{seal})
                                                  (PP (P-ROLE in;{in})
                                                      (NP;{LOCATION} (NPR Sumeria;{Sumeria}))))))
                                (PUNC ,)
                                (CONJP (ILYR (ADJP-PRD (ADJ bent;{bent}))
                                             (ADVP-NIM (ADV backwards;{backwards}))
                                             (PP-NIM (P-ROLE on;{on})
                                                     (NP (D the;{the})
                                                         (NS prows;{prow})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (ADJP (ADJ Egyptian;{egyptian}))
                                                                 (NS ships;{ship}))))))))))
          (PUNC .))
  (ID 116_a_hedgehog;speaker=Stewart))