e,e'. e <loc e' 
isrcv(kind(e')) & e = sender(e') 
E^+ e'e,e'. e <loc e' isrcv(kind(e')) & e = sender(e') E^+ e'is mentioned
In prior sections: mb event system 3
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html