Morgan, Apologies if this is a duplicate report: AUFLIA contains terms like (* 600 (+ (* rawhours__1 60) rawminutes__3)) which are not linear by the rules specified in the logic (though this one is equivalent to linear term) - David