@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@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#>.

[] rdf:value 0; :is :Positive.
[] rdf:value 1; :is :Positive.
[] rdf:value 2; :is :Positive.
[] rdf:value 3; :is :Positive.
[] rdf:value 4; :is :Positive.
[] rdf:value 5; :is :Positive.
[] rdf:value 6; :is :Positive.
[] rdf:value 7; :is :Positive.
[] rdf:value 8; :is :Positive.
[] rdf:value 9; :is :Positive.
