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