Formal and functional assessment of the pyramid method for summary content evaluation