DAML+OIL XML SYNTAX