merge:  Pei-2nd "procedural inference (direct processing and local rules)"