different types of reasoning - Search