"> that succeeds whenever N is a positive integer and Property is "rdf:_" N" . . . . .