how many file format has a genre of txt?
(COUNT (AND computer.file_format (JOIN computer.file_format.genre m.01dlg5)))