how many file formats are in the serialization genre?
(COUNT (AND computer.file_format (JOIN computer.file_format.genre m.0725b)))