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