TSPC 116_a_dick

116_a_dick_1952
According to your theory the inhabitants must have died in their skins, fried like yams.

( (IP-MAT (PP-NIM (P-ROLE According_to;{according_to})
                  (NP (NP-GEN;{FOMAR} (PRO;_genm_ your;{your}))
                      (N theory;{theory})))
          (NP-SBJ;{INHABITANTS} (D the;{the})
                                (NS inhabitants;{inhabitant}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (ILYR (ILYR (VVN;_I_ died;{die})
                                              (PP-NIM (P-ROLE in;{in})
                                                      (NP (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                          (NS skins;{skin}))))
                                        (PUNC ,)
                                        (CONJP (ILYR (VVN;_I_ fried;{fry})
                                                     (PP-NIM (P-ROLE like;{like})
                                                             (NP (NS yams;{yam}))))))))
          (PUNC .))
  (ID 116_a_dick_1952))

arc(r_0116_0003__theory,r_0116_0002__your,gen).
arc(r_0116_0006__must,r_0116_0003__theory,r_0116_0001__According_to__nim).
arc(r_0116_0006__must,r_0116_0007__have,scope).
arc(r_0116_0007__have,z_0116_5005,scope).
arc(r_0116_0008__died,r_0116_0004__the_r_0116_0005__inhabitants,arg0).
arc(r_0116_0008__died,r_0116_0011__skins,r_0116_0009__in__nim).
arc(r_0116_0011__skins,r_0116_0004__the_r_0116_0005__inhabitants,gen).
arc(r_0116_0013__fried,r_0116_0004__the_r_0116_0005__inhabitants,arg0).
arc(r_0116_0013__fried,r_0116_0015__yams,r_0116_0014__like__nim).
arc(z_0116_5005,r_0116_0008__died,conj1).
arc(z_0116_5005,r_0116_0013__fried,conj2).

fof(formula,axiom,
    ? [R_0116_0002__YOUR,R_0116_0003__THEORY,R_0116_0004__THE_R_0116_0005__INHABITANTS,R_0116_0011__SKINS,R_0116_0008__DIED,R_0116_0015__YAMS,R_0116_0013__FRIED,Z_0116_5005,R_0116_0006__MUST_R_0116_0007__HAVE] :
      ( r_0116_0002__your(R_0116_0002__YOUR)
      & r_0116_0004__the_r_0116_0005__inhabitants(R_0116_0004__THE_R_0116_0005__INHABITANTS)
      & r_0116_0015__yams(R_0116_0015__YAMS)
      & r_0116_0006__must_r_0116_0007__have(R_0116_0006__MUST_R_0116_0007__HAVE)
      & has_keep_scope(R_0116_0006__MUST_R_0116_0007__HAVE,Z_0116_5005)
      & z_0116_5005(Z_0116_5005)
      & has_conj2(Z_0116_5005,R_0116_0013__FRIED)
      & r_0116_0013__fried(R_0116_0013__FRIED)
      & has_r_0116_0014__like__nim(R_0116_0013__FRIED,R_0116_0015__YAMS)
      & has_arg0(R_0116_0013__FRIED,R_0116_0004__THE_R_0116_0005__INHABITANTS)
      & has_conj1(Z_0116_5005,R_0116_0008__DIED)
      & r_0116_0008__died(R_0116_0008__DIED)
      & has_r_0116_0009__in__nim(R_0116_0008__DIED,R_0116_0011__SKINS)
      & r_0116_0011__skins(R_0116_0011__SKINS)
      & has_gen(R_0116_0011__SKINS,R_0116_0004__THE_R_0116_0005__INHABITANTS)
      & has_arg0(R_0116_0008__DIED,R_0116_0004__THE_R_0116_0005__INHABITANTS)
      & has_r_0116_0001__According_to__nim(R_0116_0006__MUST_R_0116_0007__HAVE,R_0116_0003__THEORY)
      & r_0116_0003__theory(R_0116_0003__THEORY)
      & has_gen(R_0116_0003__THEORY,R_0116_0002__YOUR) ) ).