/* pim_prb

Artificial Inference testing example for focussing
Alan Bundy 8.7.82 */

/* space of description trees */
space(pim,[pqrtree,ijtree,mntree]).


/* description trees */

tree(pqrtree,1,pqr(pq(p,q),r) ).

tree(ijtree,1,ij(i,j) ).

tree(mntree,1,mn(m,n) ).


/* Examples */
specimen(pim, [ p(a), i(a), m(a) ] ).

/* Near Misses */
specimen(pjm, [ p(a), j(a), m(a) ] ).

specimen(pin, [ p(a), i(a), n(a) ] ).


/* Inference Rules */
rule(	~record([X],ijtree,[1]) v
	~record([X],mntree,[1]) v
	~ record([X],pqrtree,[1,2]) ).