Re: Troublesome relations

Danny Ayers wrote:
...
> [[
> This approach is the old argument that all relvars should be binary in
> a different guise! Thus, a cogent counterargument is:  How do you deal
> with irreducible n-order predicates for n <> 2?
> ]]
> 
...
> 
> The nearest I can get is in wondering perhaps if this is isomorphic
> with the way RDF predicates can't be treated as instances for
> per-usage qualification, you can't really go from predPQ(a, b, c) to
> predP(a, b), predQ(predP, c).

I'm probably just missing the problem, but can't just any n-order 
predicate like predPQ(a, b, c) be reduced to _1(resPredPQ,a), 
_2(resPredPQ,b), _3(resPredPQ,c)?

cheers,
reto