Re: RDF Abstract Syntax: a strawman

From: "pat hayes" <phayes@ai.uwf.edu>

> It is conventional to so limit them, but we relaxed this in the new 
> KIF without apparently causing enormous problems. When there are 
> predicate variables it is difficult to prevent things like applying a 
> predicate to itself (more generally, any 'loop' of applications, eg 
> applying P to Q and Q to P) which breaks the 'standard' first-order 
> model theory , but Chris Menzel invented a neat way to repair it 
> without causing much harm, or one can be even braver and use a 
> nonstandard set theory to do the semantics with. So in sum: go ahead 
> and allow variables in predicate position, and if anyone accuses you 
> of doing higher-order logic, send them to me.

Could I troubel you for a pointer to Chris Menzel's neat way ?

Seth