Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge.