ASAL
2
~a
Also:
asal
x
(|ASAL
2
~a|).