what file format does the pdf format encapsulate?
(AND computer.file_format (JOIN computer.file_format.contained_by m.0600q))