Dear Bill, >However, there is no reason why the logic could not be >extended to include "nonstrict predicates" like =~. So: does LUTINS (that's the name of the full IMPS logic, right?) support this kind of nonstrict predicate. Or: does IMPS support it? Freek