(define-primitive-concept Iris *top* )
(define-primitive-concept Iris-versicolor *top* )
(define-primitive-concept Iris-setosa *top* )
(define-primitive-concept Iris-virginica *top* )
(functional sepal_width)
(functional sepal_length)
(functional petal_width)
(functional petal_length)
(functional petal_length)
(range petal_length *real* -1000000.0 1000000.0 )
(functional petal_width)
(range petal_width *real* -1000000.0 1000000.0 )
(functional sepal_width)
(range sepal_width *real* -1000000.0 1000000.0 )
(functional sepal_length)
(range sepal_length *real* -1000000.0 1000000.0 )
(define-primitive-concept Iris (>= petal_length -1000000.0))
(define-primitive-concept Iris-setosa Iris)
(define-primitive-concept Iris (>= petal_width -1000000.0))
(define-primitive-concept Iris (>= sepal_length -1000000.0))
(define-primitive-concept Iris (>= sepal_width -1000000.0))
(define-primitive-concept Iris-versicolor Iris)
(define-primitive-concept Iris-virginica Iris)
(instance r1.demo Iris-setosa 1.0)
(instance r1.demo (= petal_width 0.2) 1.0 )
(instance r1.demo (= petal_length 1.4) 1.0 )
(instance r1.demo (= sepal_width 3.5) 1.0 )
(instance r1.demo (= sepal_length 5.1) 1.0 )
