> 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.