View source with raw comments or as raw
    1?- holdsAt(light_red, 6.9).                            % success