We see the use of formalized contexts as one of the essential tools for reaching human level intelligence by logic based methods. However, we see formalized contexts as having shorter term applications.
Our idea is that corresponding to each database is a context, e.g. context-GE-engine-prices and context-AF-engine-prices. The program, however, must work with a context we may call context-GE-AF-engine-prices. Its language allows statements with auxiliary information about what is included in the price of an item. Suitable lifting rules allow translating the sentences of the two other databases into this more comprehensive context.