
414
Henschen
and
Park
3. MIG(JC) — ENEMY(JC),
4.
—ι
ENEMY(fl)}.
Additional resolutions in the compile phase due to this update are
5.
(3,4)-!MIG(a)
6. (1,5) PHANTOM(a)
7.
(2,6) FRIEND(ö)
Thus,
FRIEND(ö) is true, as before. Since FRIEND(a) subsumes FRIEND(a)
MIG(a), NHr[FRIEND] and PSUB[NHr[FRIEND]] are empty. In addition, it
is necessary to add PHANTOM(a) to the RDB. •
We observe, then, that in Representation 2 with a reduced NH set, the
evaluator apparently must perform some of the deductions that were
eliminated by the reduction, as in the resolution of
—j
ENEMY(a) with clause
3.
The full NH set already contains a clause derived from claus ...