Define assertion model and validation