View source with
formatted comments
or as
raw
1
s
(
1
)
.
2
s
(
X
)
:-
s
(X)
.
3
4
5
?-
not
s
(
X
)
.