Now assume that the air force database contains the price air force plans to pay for a product, i.e. the price included in the budget. Like before, the GE database contain the list price, which will probably be higher than the air force budget price. This formalization is suited for use by some bargaining agents or programs. The bargaining agents will work in some problem solving context .
Context contains functions which represent the budget price and the list price of a product.
Like in the previous example, can represent the spares associated with an engine. Function , when given a product and an object, returns the spares which the given context assumes necessary and thus included in the price of the product. The air force and GE will need to bargain in order to negotiate a price which is acceptable to both parties. However, since unlike GE, the air force assumes that the price will include a set of spare parts, the lifting axioms will be needed to adjust the prices in the two data bases to ensure that both the budget price and the list price pertain to the same package. These can then be used by the bargaining programs to negotiate a price and administrate a sale.