1. i : Id
2. L : Knd List
3. l : IdLnk
4. tg : Id
  @i: only L sends on (l with tg) realizes2 es.e:E. 
  loc(e) = i  Id  null(sends(l,tg,e))  (kind(e)  L)

By:	let T  Auto THEN D_ES_Subtype THEN ExRepD in RepeatFor 3 (Analyze 0 THENA Complete Auto) THEN ES_Reduce THEN PW_Reduce -1 THEN RepeatFor 3 (Analyze 0 THENA Try T)

1	...	13 steps
2	...	1 step

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html