@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <https://josd.github.io/eye/ns#>.

() :natnum (0).
() :natnum (:s (0)).
() :natnum (:s (:s (0))).
() :natnum (:s (:s (:s (0)))).
() :natnum (:s (:s (:s (:s (0))))).

