[Om3] binary vs n-ary relations

[Peter Horn]

Hi!

> 1. relation symbols are binary!!!!

Although I'm just a user, I highly appreciate this from a  
computational POV.

Best, Peter
--
Peter   Horn,   University  of  Kassel          *
Computational    Mathematics     Group      *       *
Heinrich Plett Str. 40,  34132  Kassel    *  [S] [C] [I] [E] [n] [c] [e]
Phone: + 4 9 - 5 6 1 - 8 0 4 - 4 1 9 2   *   http://www.symcomp.org
Fax:   + 4 9 - 5 6 1 - 8 0 4 - 4 6 4 6    *
E-Mail: hornp at mathematik.uni-kassel.de      *       *
            http://kassel.symcomp.org/          *