NaBL for expressions