DAML+OIL Syntax