Logical Reasoning for Task Oriented Dialogue Systems