@prefix : <#> . @prefix log: . <> log:forAll log:x . { log:x log:startsWith "http:" } log:implies { log:x a :HTTPResource } .