Title: Using classification to constrain logic in constructing analogies