object built symbol sym sym equal ocl type ocl type ocl type todo implement ocl express sym equal ocl express ocl type ocl express sym equal ocl ocl type ocl 