Add reasoner to the glossary.