% Buying and Selling Flowers

include "../library-ontology"
include "../library"

module BUYING_FLOWERS;

  import BUY;

  objects
    Flowers : Commodity;
    Austin  : Place;
    Store1  : Seller;
    John    : Buyer;

  variables
    x          : Thing;

  import NOCONCURRENCY;

  axioms
    Location(Store1)=Austin;
    Location(John)=Austin;
    inertial Location(x);

    Price(Flowers)=2;

