(functional hasPrice)
#(define-concrete-feature hasPrice *real* 0 150000)

(define-fuzzy-concept AudiTTPrice right-shoulder(0,50000,30500,31500))
(define-concept AudiTT (and SportsCar (some hasPrice AudiTTPrice)))

(define-fuzzy-concept BuyerPrice left-shoulder(0,50000,30000,32000))
(define-concept BuyerQuery (and SportsCar (some hasPrice BuyerPrice)))

#(concept-satisfiable? (and BuyerQuery AudiTT))

(max-sat? (and BuyerQuery AudiTT))
(show-concrete-fillers hasPrice)