Title: Developing a semantic validation facility for the conceptual rule language