The nullability ($\text{𝖭𝗎𝗅𝗅}(\cdot )$) of a grammar $𝐴$ may be captured in Lambek${\begin{array}{}\end{array}}^{𝙳}$ via the following proposition:

Or perhaps with one of the grammars