A run-time rule interpreter that matches sentence patterns and lexical conditions to implications.