ቋንቋ ትክክለኛ የሆኑ ዓረፍተ ነገሮች ስብስብ ነው። አንድ ዓረፍተ ነገር ትክክለኛ የሚያደርገው ምንድን ነው? ትክክለኛነትን በሁለት ነገሮች መከፋፈል ትችላላችሁ፡ አገባብ እና ትርጓሜ። አገባብ የሚለው ቃል ሰዋሰዋዊ መዋቅርን ሲያመለክት የትርጉም ቃሉ ግን በዚያ መዋቅር የተደረደሩትን የቃላት ምልክቶች ትርጉም ያመለክታል። ሰዋሰው (በአገባብ የሚሰራ) ግን አስተዋይ (በትርጉም ተቀባይነት ያለው) አያመለክትም። ለምሳሌ፣ “ላሞች በከፍተኛ ሁኔታ ይፈስሳሉ” የሚለው ሰዋሰው ዓረፍተ ነገር በእንግሊዝኛ ሰዋሰው ደህና ነው (ርዕሰ-ግሥ ተውሳክ) ግን ትርጉም የለውም። በተመሳሳይ፣ በፕሮግራሚንግ ቋንቋ፣ የእርስዎ ሰዋሰው (የአገባብ ደንቦች) መታወቂያ EQUALS መታወቂያን ሊፈቅዱ ይችላሉ ነገር ግን ቋንቋው ዓረፍተ ነገሩን ሊፈቅደው የሚችለው ለመታወቂያው የሚዛመደው ጽሑፍ የአይነት ስም (የፍቺ ደንብ) ካልሆነ ብቻ ነው።
የANTLR ሰዋሰው ሲጽፉ በቋንቋዎ የሚታዘዙትን የአገባብ ደንቦችን እየገለጹ ነው። ANTLR በዚያ ቋንቋ ውስጥ ያሉ ዓረፍተ ነገሮችን ለይቶ ለማወቅ ይህንን ይጠቀማል። የትርጓሜ ህጎችን ለመተግበር በሰዋስው ላይ ድርጊቶችን ወይም የትርጉም ትንበያዎችን ማከል አለብህ። ድርጊቶቹ የትርጉም ትክክለኛነትን ለመወሰን የተለያዩ ምልክቶችን እና ግንኙነታቸውን "ዋጋ" ይፈትሻሉ. ለምሳሌ፣ አንድ አይነት ስም በተለዋዋጭ ሳይሆን በአይነት መሆኑን ለማረጋገጥ በምልክት ሠንጠረዥ ውስጥ ከፈለግክ የትርጓሜ ህግን እየተገበርክ ነው።
