add (gen-with): generate a sentence with a given constraint.