View source with raw comments or as raw
    1% { p, not q }
    2p :- not q.
    3:- not p.