- summary_from_lines(+Lines:lines, -Summary:list(codes)) is det
- Produce a summary for Lines. Similar to JavaDoc, the summary is
defined as the first sentence of the documentation. In addition,
a sentence is also ended by an empty line or the end of the
comment.