Generating output for inherited interfaces