PPT Slide

A note on IEXT

It would be simpler to just say that I(p) is a subset of IR x (IR union LV), and write

if E is an asserted triple with the form s p o

then I(E) = true iff <I(s),I(o)> is in I(p), ЕЕ rather than IEXT(I(p))Е..

Why bother with IEXT?