O:
Semantic analyser
, :
Add-on interactors
4.2.2 Displaying the definition of the current symbol under point