% === Simbolo, Simbolo da notação, nome e número atômicos.

ssnnna(S,SN,N,NA) :- sn(S,SN), n(S,N), na(S,NA).

ssnnbna(S,SN,NB,NA) :- sn(S,SN), nf(S,NB), na(S,NA).