Claim Synthesis via Predicate Recycling
Distributed Representations of Words and Phrases and their Compositionality