Patch is a type of Join. Patch is a type of Program. you are likely to find Program in/at/on Opera. 
Solid is a synonym of Firm. 
Join <--IsA-- Patch --IsA--> Program --AtLocation--> Opera 
Solid <--Synonym--> Firm 