which appliance's cpu is texas instruments omap and predecessor is nokia 7710 ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_cpu dbr_Texas_Instruments_OMAP sep_dot var_uri dbo_predecessor dbr_Nokia_7710 sep_dot var_uri a dbo_InformationAppliance brack_close