N1SLa,e,i – подъязык NSLa,e,i с отрицанием только простых термов.

Определение правильно построенного терма:
1) элемент множества {S, P, Q, M, S1, P1, Q1, M1, S2, P2, Q2, M2, ...};
3) t', где t - элемент множества {S, P, Q, M, S1, P1, Q1, M1, S2, P2, Q2, M2, ...}.

Определение правильно построенной формулы:
1) t1at2, t1et2, t1it2, где t1 и t2 – термы;
2) ¬A, A&B, AB, AB, AB, где A и B – формулы.