what are the software whose operating systems are teco and teco ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_TECO_ attr_open text_editor attr_close sep_dot var_uri dbo_operatingSystem dbr_TECO_ attr_open text_editor attr_close sep_dot var_uri a dbo_Software brack_close