> 1) what is its application? I guess I found part of my "laymans" answer: http://www.cs.toronto.edu/~yaron/Presentations/pods2003.ppt#468,39,Example > 2) how is it used? Maybe this question should have been, what is the syntax? Regards, Richard Broersma Jr.