II 8 deqo lapow ay ul uonejal pooyaynoq ayl ul aue uyor 3uly I!a ay1 pue jeayuo!ay pueyp!y ase u!asn! ann s!(uyorp.y)a0g 'uonenadou sy japun uoI4e1Ppoo4μ341o1q341←lay0la uyor Bury l!33y1←-u40 1μe34uoI7a44 pueyo!y←-plD4pu yolyM ul uonenaudjaqul ayn Japisuo alduexe yinIL
example ruth T which in retation interp the Consider rt Lionhea the rd Richa →d ichar R John King evil the → ohn J relation do rotherho b the → other r B true is ) ohn J d, ichar R( other r B retation, interp this Under John King evil the and rt Lionhea the rd Richa case in just del mo the in relation do rotherho b the in re a 11 8 Chapter
8de isee ou s!sjepow 0 uneewnue Aq juewjlequa Buindwo) ·s1p3fq0uwo)1oy1u31o∂Io4p4pe30」 Kejnqe:∞0A3yHu!)loquKs1 ue]suo)4pe3o时 sp3 fqo u uo uo14eIp!人ue-y ajqissod ype3o」 Ke]nqeoon ay1 ul aeipaud Ke-3 ypea oy oo01 I woyy u squawaje ulewop jo aqunu yoea joy Ke]nqeoon gy uani8 e loj sjepow 0 ay1 aeewnua ueo aM sjepou 3uneaunua Kq paandwo aq ue 1o leuon!sodod u!uawj!eu iSOI :IOH IOJ SIOpoN
Lots! OL: F for dels Mo dels mo enumerating yb computed eb can logic ositional rop p in Entailment ry: cabula vo KB given a r fo dels mo OL F the enumerate can e W ∞to 1 from n elements domain of er numb each r oF ry cabula vo the in k P redicate p ry -a k each r oF objects n on relation ry -a k ossible p each r oF ry cabula vo the in C ol symb constant each r oF . . . objects n from Cr fo referent of choice each r oF easy! not is dels mo OL F enumerating yb entailment Computing 12 8 Chapter