SPARQL ASK and assert specs