context help: functor/arity decoded from semantic highlighting