Definition:Semantically Consistent