@prefix : <#> . @prefix abc: . @prefix ab: . @prefix log: . <> log:forAll abc:x , ab:y . { abc:x log:startsWith "http://www.w3.org/" . ab:y log:startsWith "http://w3.org/" } log:implies { abc:x = ab:y } . abc:a abc:b abc:c .