html file format extended which file format?
(AND computer.file_format (JOIN computer.file_format.extended_to m.0j_8yzq))