Defines concepts and relations used by automated contracts in SweetDeal