TSPC 41_a_stuck

41_a_stuck_japan
In 1924, the fossilised bones of an ancient elephant species were found in the nearby lake.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NUM 1924)))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ fossilised;{fossilised}))
                  (NS bones;{bone})
                  (PP (P-ROLE of;{of})
                      (NP (D an;{a})
                          (ADJP (ADJ ancient;{ancient}))
                          (N elephant;{elephant})
                          (NS species;{species}))))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ found;{find})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (ADJP (ADJ nearby;{nearby}))
                                  (N lake;{lake}))))
          (PUNC .))
  (ID 41_a_stuck_japan))

arc(r_0041_0004__the_r_0041_0006__bones,r_0041_0005__fossilised,attrib).
arc(r_0041_0004__the_r_0041_0006__bones,r_0041_0008__an_r_0041_0010__elephant_r_0041_0011__species,r_0041_0007__of).
arc(r_0041_0008__an_r_0041_0010__elephant_r_0041_0011__species,r_0041_0009__ancient,attrib).
arc(r_0041_0012__were,r_0041_0002__1924,r_0041_0001__In__nim).
arc(r_0041_0012__were,r_0041_0013__found,scope).
arc(r_0041_0013__found,r_0041_0004__the_r_0041_0006__bones,arg1).
arc(r_0041_0013__found,r_0041_0015__the_r_0041_0017__lake,r_0041_0014__in__nim).
arc(r_0041_0013__found,z_0041_5009___star_,arg0).
arc(r_0041_0015__the_r_0041_0017__lake,r_0041_0016__nearby,attrib).

fof(formula,axiom,
    ? [R_0041_0002__1924,R_0041_0005__FOSSILISED,R_0041_0009__ANCIENT,R_0041_0008__AN_R_0041_0010__ELEPHANT_R_0041_0011__SPECIES,R_0041_0004__THE_R_0041_0006__BONES,R_0041_0016__NEARBY,R_0041_0015__THE_R_0041_0017__LAKE,Z_0041_5009___STAR_,R_0041_0012__WERE_R_0041_0013__FOUND] :
      ( r_0041_0002__1924(R_0041_0002__1924)
      & r_0041_0005__fossilised(R_0041_0005__FOSSILISED)
      & r_0041_0009__ancient(R_0041_0009__ANCIENT)
      & r_0041_0016__nearby(R_0041_0016__NEARBY)
      & z_0041_5009___star_(Z_0041_5009___STAR_)
      & r_0041_0012__were_r_0041_0013__found(R_0041_0012__WERE_R_0041_0013__FOUND)
      & has_arg0(R_0041_0012__WERE_R_0041_0013__FOUND,Z_0041_5009___STAR_)
      & has_r_0041_0014__in__nim(R_0041_0012__WERE_R_0041_0013__FOUND,R_0041_0015__THE_R_0041_0017__LAKE)
      & r_0041_0015__the_r_0041_0017__lake(R_0041_0015__THE_R_0041_0017__LAKE)
      & has_attrib(R_0041_0015__THE_R_0041_0017__LAKE,R_0041_0016__NEARBY)
      & has_arg1(R_0041_0012__WERE_R_0041_0013__FOUND,R_0041_0004__THE_R_0041_0006__BONES)
      & r_0041_0004__the_r_0041_0006__bones(R_0041_0004__THE_R_0041_0006__BONES)
      & has_r_0041_0007__of(R_0041_0004__THE_R_0041_0006__BONES,R_0041_0008__AN_R_0041_0010__ELEPHANT_R_0041_0011__SPECIES)
      & r_0041_0008__an_r_0041_0010__elephant_r_0041_0011__species(R_0041_0008__AN_R_0041_0010__ELEPHANT_R_0041_0011__SPECIES)
      & has_attrib(R_0041_0008__AN_R_0041_0010__ELEPHANT_R_0041_0011__SPECIES,R_0041_0009__ANCIENT)
      & has_attrib(R_0041_0004__THE_R_0041_0006__BONES,R_0041_0005__FOSSILISED)
      & has_r_0041_0001__In__nim(R_0041_0012__WERE_R_0041_0013__FOUND,R_0041_0002__1924) ) ).