compare-expr message grammar