Def trigger1(loc;T;A;P;i;k;a;x)
Def == [(recognizer1(loc;T;A;P;k;i;"trigger";x)); 
Def == [if loc = i ma-single-pre1("trigger";;a;Unit;x,v.x) else  fi]

is mentioned

In prior sections: mb event system 7

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