Term: grok
Example: almost all c compilers grok the void type these days
Definition: 1