Claim Synthesis via Predicate Recycling
Building Natural-Language Generation Systems