na_ :- nl, forall(na(S,_),na(S)), nl.

na(S) :- fel(S).