We describe a compositional approach to Craig interpolation based on the heuristic that simpler proofs of special cases are more likely to generalize. The method produces simple interpolants because it is able to summarize a large set of cases using one relatively simple fact. In particular, we present a method for finding such simple facts in the theory of linear rational arithmetic. This make...

Only a few attempts have so far been made at exploring the process of metaphor production, although a large number of studies have addressed metaphor comprehension. Therefore, in this paper, we address the problem of how people generate metaphors or identify an apt vehicle for a given topic of metaphors. Specifically, we examine how the process and product of metaphor production differ between ...