t there is a way to transcribe all of 
Hobbs' axioms and schemas (he has all this stuff worked out in 
enormous detail) into a slightly odd version of FOL (one that ought 
to appeal to Jon Awbry) in which every open sentence can be seen as a 
relation name (so you can write things like
(R &amp; Q)(a,b) to mean R(a,b) &amp; Q(a,b) ), and all the 'things' in 
Hobbs' ontology become ways of talking about the things you or I 
would think were really there. (The cute part of this mapping is that 
one gets *exact