View source with
raw comments
or as
raw
1
?-
holdsAt
(
level
(
11
),T)
.