(defrelation sensory
    (attribute x1 real)
  (attribute x2 real)
  (attribute x3 real)
  (attribute x4 real)
  (attribute x5 real)
  (attribute x6 real)
  (attribute x7 real)
  (attribute x8 real)
  (attribute x9 real)
  (attribute x10 real)
  (attribute x11 real)
  (attribute x12 real)
  (data 1 1 1 1 1 1 3 3 1 2 1 14.5 )
  (data 1 1 1 1 2 1 3 3 2 2 2 13.5 )
  (data 1 1 1 1 3 1 3 3 1 2 1 14.5 )
  (data 1 1 1 1 4 1 3 3 2 2 2 15.0 )
  (data 1 1 1 2 1 1 3 1 1 3 1 16.0 )
  (data 1 1 1 2 2 1 3 1 2 3 2 16.0 )
  (data 1 1 1 2 3 1 3 1 2 3 2 15.5 )
  (data 1 1 1 2 4 1 3 1 1 3 1 14.5 )
  (data 1 1 1 3 1 1 3 2 2 1 2 15.5 )
  (data 1 1 1 3 2 1 3 2 1 1 1 14.5 )
  (data 1 1 1 3 3 1 3 2 1 1 1 16.5 )
  (data 1 1 1 3 4 1 3 2 2 1 2 14.5 )
  (data 1 1 1 4 1 1 3 4 2 4 2 15.5 )
  (data 1 1 1 4 2 1 3 4 2 4 2 16.0 )
  (data 1 1 1 4 3 1 3 4 1 4 1 15.5 )
  (data 1 1 1 4 4 1 3 4 1 4 1 16.0 )
  (data 1 1 2 1 1 1 1 3 1 1 1 14.0 )
  (data 1 1 2 1 2 1 1 3 1 1 1 15.0 )
  (data 1 1 2 1 3 1 1 3 2 1 2 14.5 )
  (data 1 1 2 1 4 1 1 3 2 1 2 15.0 )
  (data 1 1 2 2 1 1 1 4 1 3 1 15.5 )
  (data 1 1 2 2 2 1 1 4 1 3 1 14.0 )
  (data 1 1 2 2 3 1 1 4 2 3 2 13.5 )
  (data 1 1 2 2 4 1 1 4 2 3 2 15.0 )
  (data 1 1 2 3 1 1 1 2 1 4 1 15.0 )
  (data 1 1 2 3 2 1 1 2 2 4 2 15.0 )
  (data 1 1 2 3 3 1 1 2 2 4 2 15.0 )
  (data 1 1 2 3 4 1 1 2 1 4 1 14.5 )
  (data 1 1 2 4 1 1 1 1 2 2 2 15.0 )
  (data 1 1 2 4 2 1 1 1 1 2 1 14.0 )
  (data 1 1 2 4 3 1 1 1 1 2 1 15.0 )
  (data 1 1 2 4 4 1 1 1 2 2 2 15.0 )
  (data 1 1 3 1 1 1 2 1 2 4 2 16.0 )
(data 1 1 3 1 2 1 2 1 1 4 1 15.0 )
(data 1 1 3 1 3 1 2 1 2 4 2 15.0 )
(data 1 1 3 1 4 1 2 1 1 4 1 16.0 )
(data 1 1 3 2 1 1 2 2 1 2 1 15.0 )
(data 1 1 3 2 2 1 2 2 2 2 2 14.5 )
(data 1 1 3 2 3 1 2 2 1 2 1 15.0 )
(data 1 1 3 2 4 1 2 2 2 2 2 15.0 )
(data 1 1 3 3 1 1 2 4 2 1 2 16.5 )
(data 1 1 3 3 2 1 2 4 2 1 2 16.0 )
(data 1 1 3 3 3 1 2 4 1 1 1 15.5 )
(data 1 1 3 3 4 1 2 4 1 1 1 15.0 )
(data 1 1 3 4 1 1 2 3 1 3 1 15.5 )
(data 1 1 3 4 2 1 2 3 2 3 2 15.0 )
(data 1 1 3 4 3 1 2 3 1 3 1 15.5 )
(data 1 1 3 4 4 1 2 3 2 3 2 16.5 )
(data 1 2 1 1 1 1 2 1 2 4 2 15.5 )
(data 1 2 1 1 2 1 2 1 1 4 1 16.0 )
(data 1 2 1 1 3 1 2 1 2 4 2 16.5 )
(data 1 2 1 1 4 1 2 1 1 4 1 16.5 )
(data 1 2 1 2 1 1 2 3 1 3 1 16.0 )
(data 1 2 1 2 2 1 2 3 1 3 1 16.0 )
(data 1 2 1 2 3 1 2 3 2 3 2 16.5 )
(data 1 2 1 2 4 1 2 3 2 3 2 15.0 )
(data 1 2 1 3 1 1 2 4 1 1 1 16.5 )
(data 1 2 1 3 2 1 2 4 2 1 2 15.0 )
(data 1 2 1 3 3 1 2 4 2 1 2 15.0 )
(data 1 2 1 3 4 1 2 4 1 1 1 15.5 )
(data 1 2 1 4 1 1 2 2 1 2 1 15.5 )
(data 1 2 1 4 2 1 2 2 1 2 1 17.0 )
(data 1 2 1 4 3 1 2 2 2 2 2 16.5 )
(data 1 2 1 4 4 1 2 2 2 2 2 16.0 )
(data 1 2 2 1 1 1 3 2 1 1 1 16.0 )
(data 1 2 2 1 2 1 3 2 1 1 1 14.0 )
(data 1 2 2 1 3 1 3 2 2 1 2 15.5 )
(data 1 2 2 1 4 1 3 2 2 1 2 16.0 )
(data 1 2 2 2 1 1 3 1 2 3 2 16.0 )
(data 1 2 2 2 2 1 3 1 1 3 1 15.5 )
(data 1 2 2 2 3 1 3 1 2 3 2 16.0 )
(data 1 2 2 2 4 1 3 1 1 3 1 16.5 )
(data 1 2 2 3 1 1 3 3 1 2 1 16.0 )
(data 1 2 2 3 2 1 3 3 2 2 2 15.5 )
(data 1 2 2 3 3 1 3 3 2 2 2 14.0 )
(data 1 2 2 3 4 1 3 3 1 2 1 15.0 )
(data 1 2 2 4 1 1 3 4 2 4 2 15.5 )
(data 1 2 2 4 2 1 3 4 1 4 1 15.5 )
(data 1 2 2 4 3 1 3 4 2 4 2 15.5 )
(data 1 2 2 4 4 1 3 4 1 4 1 16.0 )
(data 1 2 3 1 1 1 1 2 1 4 1 16.5 )
(data 1 2 3 1 2 1 1 2 2 4 2 15.5 )
(data 1 2 3 1 3 1 1 2 1 4 1 16.0 )
(data 1 2 3 1 4 1 1 2 2 4 2 16.0 )
(data 1 2 3 2 1 1 1 1 1 2 1 16.0 )
(data 1 2 3 2 2 1 1 1 1 2 1 15.0 )
(data 1 2 3 2 3 1 1 1 2 2 2 16.0 )
(data 1 2 3 2 4 1 1 1 2 2 2 15.5 )
(data 1 2 3 3 1 1 1 3 1 1 1 16.0 )
(data 1 2 3 3 2 1 1 3 2 1 2 17.0 )
(data 1 2 3 3 3 1 1 3 2 1 2 16.5 )
(data 1 2 3 3 4 1 1 3 1 1 1 15.5 )
(data 1 2 3 4 1 1 1 4 1 3 1 16.5 )
(data 1 2 3 4 2 1 1 4 1 3 1 17.0 )
(data 1 2 3 4 3 1 1 4 2 3 2 16.5 )
(data 1 2 3 4 4 1 1 4 2 3 2 16.0 )
(data 1 3 1 1 1 1 1 1 2 2 2 14.5 )
(data 1 3 1 1 2 1 1 1 1 2 1 15.0 )
(data 1 3 1 1 3 1 1 1 1 2 1 16.5 )
(data 1 3 1 1 4 1 1 1 2 2 2 16.5 )
(data 1 3 1 2 1 1 1 3 2 1 2 15.0 )
(data 1 3 1 2 2 1 1 3 2 1 2 14.5 )
(data 1 3 1 2 3 1 1 3 1 1 1 15.0 )
(data 1 3 1 2 4 1 1 3 1 1 1 16.5 )
(data 1 3 1 3 1 1 1 4 2 3 2 16.0 )
(data 1 3 1 3 2 1 1 4 2 3 2 15.5 )
(data 1 3 1 3 3 1 1 4 1 3 1 15.0 )
(data 1 3 1 3 4 1 1 4 1 3 1 15.5 )
(data 1 3 1 4 1 1 1 2 2 4 2 16.0 )
(data 1 3 1 4 2 1 1 2 1 4 1 16.0 )
(data 1 3 1 4 3 1 1 2 2 4 2 15.0 )
(data 1 3 1 4 4 1 1 2 1 4 1 14.0 )
(data 1 3 2 1 1 1 2 2 1 2 1 16.5 )
(data 1 3 2 1 2 1 2 2 2 2 2 14.5 )
(data 1 3 2 1 3 1 2 2 1 2 1 16.0 )
(data 1 3 2 1 4 1 2 2 2 2 2 15.5 )
(data 1 3 2 2 1 1 2 1 2 4 2 15.5 )
(data 1 3 2 2 2 1 2 1 2 4 2 15.5 )
(data 1 3 2 2 3 1 2 1 1 4 1 16.0 )
(data 1 3 2 2 4 1 2 1 1 4 1 15.5 )
(data 1 3 2 3 1 1 2 3 2 3 2 16.0 )
(data 1 3 2 3 2 1 2 3 1 3 1 16.5 )
(data 1 3 2 3 3 1 2 3 2 3 2 17.0 )
(data 1 3 2 3 4 1 2 3 1 3 1 17.0 )
(data 1 3 2 4 1 1 2 4 2 1 2 16.5 )
(data 1 3 2 4 2 1 2 4 1 1 1 15.0 )
(data 1 3 2 4 3 1 2 4 2 1 2 17.0 )
(data 1 3 2 4 4 1 2 4 1 1 1 17.5 )
(data 1 3 3 1 1 1 3 2 2 1 2 15.5 )
(data 1 3 3 1 2 1 3 2 2 1 2 16.5 )
(data 1 3 3 1 3 1 3 2 1 1 1 15.0 )
(data 1 3 3 1 4 1 3 2 1 1 1 15.0 )
(data 1 3 3 2 1 1 3 1 2 3 2 16.0 )
(data 1 3 3 2 2 1 3 1 1 3 1 15.5 )
(data 1 3 3 2 3 1 3 1 2 3 2 14.5 )
(data 1 3 3 2 4 1 3 1 1 3 1 16.0 )
(data 1 3 3 3 1 1 3 3 2 2 2 14.5 )
(data 1 3 3 3 2 1 3 3 1 2 1 15.5 )
(data 1 3 3 3 3 1 3 3 1 2 1 16.0 )
(data 1 3 3 3 4 1 3 3 2 2 2 15.5 )
(data 1 3 3 4 1 1 3 4 2 4 2 15.5 )
(data 1 3 3 4 2 1 3 4 1 4 1 15.5 )
(data 1 3 3 4 3 1 3 4 2 4 2 15.5 )
(data 1 3 3 4 4 1 3 4 1 4 1 16.0 )
(data 1 4 1 1 1 1 3 1 2 3 2 14.5 )
(data 1 4 1 1 2 1 3 1 2 3 2 14.0 )
(data 1 4 1 1 3 1 3 1 1 3 1 14.0 )
(data 1 4 1 1 4 1 3 1 1 3 1 15.0 )
(data 1 4 1 2 1 1 3 3 1 2 1 14.5 )
(data 1 4 1 2 2 1 3 3 1 2 1 12.5 )
(data 1 4 1 2 3 1 3 3 2 2 2 12.5 )
(data 1 4 1 2 4 1 3 3 2 2 2 14.5 )
(data 1 4 1 3 1 1 3 4 2 4 2 13.0 )
(data 1 4 1 3 2 1 3 4 1 4 1 13.5 )
(data 1 4 1 3 3 1 3 4 1 4 1 13.0 )
(data 1 4 1 3 4 1 3 4 2 4 2 13.5 )
(data 1 4 1 4 1 1 3 2 2 1 2 14.0 )
(data 1 4 1 4 2 1 3 2 2 1 2 14.0 )
(data 1 4 1 4 3 1 3 2 1 1 1 13.5 )
(data 1 4 1 4 4 1 3 2 1 1 1 13.0 )
(data 1 4 2 1 1 1 1 2 1 4 1 14.5 )
(data 1 4 2 1 2 1 1 2 2 4 2 14.5 )
(data 1 4 2 1 3 1 1 2 1 4 1 15.0 )
(data 1 4 2 1 4 1 1 2 2 4 2 15.5 )
(data 1 4 2 2 1 1 1 1 1 2 1 15.0 )
(data 1 4 2 2 2 1 1 1 2 2 2 14.0 )
(data 1 4 2 2 3 1 1 1 2 2 2 15.0 )
(data 1 4 2 2 4 1 1 1 1 2 1 14.5 )
(data 1 4 2 3 1 1 1 3 2 1 2 14.0 )
(data 1 4 2 3 2 1 1 3 1 1 1 15.0 )
(data 1 4 2 3 3 1 1 3 2 1 2 14.5 )
(data 1 4 2 3 4 1 1 3 1 1 1 14.5 )
(data 1 4 2 4 1 1 1 4 1 3 1 14.5 )
(data 1 4 2 4 2 1 1 4 2 3 2 15.5 )
(data 1 4 2 4 3 1 1 4 2 3 2 15.0 )
(data 1 4 2 4 4 1 1 4 1 3 1 15.0 )
(data 1 4 3 1 1 1 2 2 2 2 2 15.0 )
(data 1 4 3 1 2 1 2 2 1 2 1 15.0 )
(data 1 4 3 1 3 1 2 2 1 2 1 14.5 )
(data 1 4 3 1 4 1 2 2 2 2 2 14.5 )
(data 1 4 3 2 1 1 2 1 1 4 1 15.5 )
(data 1 4 3 2 2 1 2 1 1 4 1 14.5 )
(data 1 4 3 2 3 1 2 1 2 4 2 15.0 )
(data 1 4 3 2 4 1 2 1 2 4 2 14.5 )
(data 1 4 3 3 1 1 2 3 1 3 1 15.5 )
(data 1 4 3 3 2 1 2 3 2 3 2 15.0 )
(data 1 4 3 3 3 1 2 3 1 3 1 15.5 )
(data 1 4 3 3 4 1 2 3 2 3 2 16.0 )
(data 1 4 3 4 1 1 2 4 2 1 2 15.5 )
(data 1 4 3 4 2 1 2 4 1 1 1 16.5 )
(data 1 4 3 4 3 1 2 4 2 1 2 15.0 )
(data 1 4 3 4 4 1 2 4 1 1 1 15.5 )
(data 1 5 1 1 1 1 2 3 1 3 1 15.5 )
(data 1 5 1 1 2 1 2 3 2 3 2 16.0 )
(data 1 5 1 1 3 1 2 3 1 3 1 15.5 )
(data 1 5 1 1 4 1 2 3 2 3 2 16.0 )
(data 1 5 1 2 1 1 2 1 2 4 2 16.0 )
(data 1 5 1 2 2 1 2 1 1 4 1 15.5 )
(data 1 5 1 2 3 1 2 1 1 4 1 15.5 )
(data 1 5 1 2 4 1 2 1 2 4 2 15.5 )
(data 1 5 1 3 1 1 2 2 2 2 2 14.5 )
(data 1 5 1 3 2 1 2 2 1 2 1 16.0 )
(data 1 5 1 3 3 1 2 2 2 2 2 15.5 )
(data 1 5 1 3 4 1 2 2 1 2 1 14.5 )
(data 1 5 1 4 1 1 2 4 2 1 2 15.5 )
(data 1 5 1 4 2 1 2 4 1 1 1 14.0 )
(data 1 5 1 4 3 1 2 4 2 1 2 16.0 )
(data 1 5 1 4 4 1 2 4 1 1 1 16.5 )
(data 1 5 2 1 1 1 3 3 2 2 2 13.5 )
(data 1 5 2 1 2 1 3 3 1 2 1 13.5 )
(data 1 5 2 1 3 1 3 3 1 2 1 14.5 )
(data 1 5 2 1 4 1 3 3 2 2 2 15.0 )
(data 1 5 2 2 1 1 3 4 1 4 1 14.5 )
(data 1 5 2 2 2 1 3 4 2 4 2 14.0 )
(data 1 5 2 2 3 1 3 4 2 4 2 14.0 )
(data 1 5 2 2 4 1 3 4 1 4 1 14.5 )
(data 1 5 2 3 1 1 3 2 2 1 2 14.5 )
(data 1 5 2 3 2 1 3 2 1 1 1 14.5 )
(data 1 5 2 3 3 1 3 2 1 1 1 13.5 )
(data 1 5 2 3 4 1 3 2 2 1 2 15.5 )

)