@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/eye/reasoning#>.

{   ?S e:answer {:obs :like ?OBS}.
    ?OBS :ascribed :WetGrass.
} =>
{   ?S e:answer {?OBS :ascribed :WetGrass}.
}.
