(self.slot->select(sl : SlotType1 | (not sl.name.oclIsUndefined()) and (sl.name = 'serviceStartTime'))->size() > 0) and 
self.slot->select(sl : SlotType1 | (not sl.name.oclIsUndefined()) and (sl.name = 'serviceStartTime'))->forAll(sl : SlotType1 | (not sl.valueList.oclIsUndefined()) and (sl.valueList.value->size()>0))