SPL22

Syntactic predictor of symbolic space (level of splice (line)). A fast deterministic device that automatically completes the current unit (statements and judgments) according to local rules, without referring to the global goal.