In this section, we discuss the ways in which the logical features described from a mathematical standpoint in the previous section are implemented in Watson.