Def recognizer1(loc;T;A;P;k;i;r;x)
Def == if loc = i
Def == if [r :  initially r = false; 
Def == if [only members of [k] affect r :; 
Def == if [ma-single-effect1(r;;x;A;k;T;r,x,v. P(x,v)  r)]
Def == else nil fi

is mentioned

In prior sections: mb event system 7

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