Hi Robert,<br><br>regarding TMQL Issue related to Functions and Predicates,<br>wouldn't it be easier and cleaner to define a many-sorted algebra. <br><br>best wishes<br><br>Frederic <br><p> 
<hr size=1>Finding fabulous fares is fun.<br><a href="http://farechase.yahoo.com/promo-generic-14795097;_ylc=X3oDMTFtNW45amVpBF9TAzk3NDA3NTg5BF9zAzI3MTk0ODEEcG9zAzEEc2VjA21haWx0YWdsaW5lBHNsawNxMS0wNw--
">Let Yahoo! FareChase search your favorite travel sites</a> to find flight and hotel bargains.