The query returns a result (i.e., ?y -> 5), although there's obviously no transitive subClassOf connection between C1 and C3 in the data. Accordingly, an ASK query
returns true (instead of the expected result false), the reason being that the property path expression returns a single (empty) result item rather than no result. Note that the equivalent query
gives no result as expected.