OI g-PI (sgy asne]woH u!Kanb ay woy 3ululeyp pemypeq o1 slya auedwo)) quenajaus!s1Dh.lDW os {3YDnb4?.lDa‘u.lDW}=(∩{X})s.04 saouy pue‘{i.lD16.uma}=‘s1DOu40r=X3H (C∩{X})s.04sa3uV3不ss3 jun que3 au s!天：Tw叫L 人uanb ayi o4 eAoJo.I.Is!JN‘I Klleonuap!s!u Jano wns (w)d(r)d(3'q)d()d(q)dv=(qlr)d (an.1=fI6.ing smouyor)d Kanb ayn Japisuo) salqelIeA queAOlaIIl ariables v t an Irrelev ) ue tr =y ar l g ur B| sl al ohnC J( P query the Consider E B J A M )b( Pα =)b| J( P Xe )e( P Xa ) a| J( P)e b, | a( P Xm ) a| m( P query the to t an irrelev is M1; identically is m over Sum ) E∪} X{(s Ancestor ∈ Y unless irrelevant is Y 1: Thm and , }y ar l g ur B{ = E, sl al ohnC J = X Here, }e uak thq ar E m, ar Al { =) E∪} X{(s Ancestor irrelevant is sl al Cy ar M so KBs) clause rn Ho in query the from chaining rd a backw to this re (Compa 10 14.4–5 Chapter