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_116_3_THEORY,R_116_2_YOUR] :
( your(R_116_2_YOUR)
& ? [Z_116_A_DICK_1952_22,R_116_8_DIED,R_116_11_SKINS,R_116_13_FRIED,R_116_4_THE_INHABITANTS,R_116_15_YAMS] :
( the_inhabitants(R_116_4_THE_INHABITANTS)
& yams(R_116_15_YAMS)
& z_116_a_dick_1952_22(Z_116_A_DICK_1952_22)
& conj1(Z_116_A_DICK_1952_22,R_116_8_DIED)
& died(R_116_8_DIED,R_116_4_THE_INHABITANTS)
& in_nim29(R_116_8_DIED,R_116_11_SKINS)
& skins(R_116_11_SKINS)
& gen(R_116_11_SKINS,R_116_4_THE_INHABITANTS)
& conj2(Z_116_A_DICK_1952_22,R_116_13_FRIED)
& fried(R_116_13_FRIED,R_116_4_THE_INHABITANTS)
& like_nim44(R_116_13_FRIED,R_116_15_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))