which developer of the ibm lotus word pro is the successor of thinking machines corporation ?
SELECT DISTINCT var_uri where brack_open dbr_IBM_Lotus_Word_Pro dbo_developer var_uri sep_dot dbr_Thinking_Machines_Corporation dbo_successor var_uri brack_close