DAML+OIL Content Used in Example