PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX : <https://eyereasoner.github.io/ns#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

_:sk_0 rdf:value 0 .
_:sk_0 a :Positive.
_:sk_1 rdf:value 1 .
_:sk_1 a :Positive.
_:sk_2 rdf:value 2 .
_:sk_2 a :Positive.
_:sk_3 rdf:value 3 .
_:sk_3 a :Positive.
_:sk_4 rdf:value 4 .
_:sk_4 a :Positive.
