, nojs o * anl-nnf1