Types of Logical Reasoning - Search