ヒント
次のような述語を用いて、上の問題をMG節集合で表現してみよ。
SPM_quot
lives(A)": Aはドレッドベリー・マンションの住人である
SPM_quot
hates(A,B)": AはBを憎んでいる
SPM_quot
killed(A,B)": AがBを殺した
SPM_quot
n_richer(A,B)": AはBより裕福でない