TSPC 116_a_dick

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

arc(r_0116_0003__theory, r_0116_0002__your, gen).
arc(r_0116_0006__must, r_0116_0003__theory, r_0116_0001__According_to_nim5).
arc(r_0116_0006__must, r_0116_0007__have, scope).
arc(r_0116_0007__have, z_000_116_a_dick_1952_22, 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_nim29).
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_nim44).
arc(z_000_116_a_dick_1952_22, r_0116_0008__died, conj1).
arc(z_000_116_a_dick_1952_22, 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_000_116_A_DICK_1952_22,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_000_116_A_DICK_1952_22)
      & z_000_116_a_dick_1952_22(Z_000_116_A_DICK_1952_22)
      & has_conj2(Z_000_116_A_DICK_1952_22,R_0116_0013__FRIED)
      & r_0116_0013__fried(R_0116_0013__FRIED)
      & has_r_0116_0014__like_nim44(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_000_116_A_DICK_1952_22,R_0116_0008__DIED)
      & r_0116_0008__died(R_0116_0008__DIED)
      & has_r_0116_0009__in_nim29(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_nim5(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) ) ).

( (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))