exists R {
    (all x all y (R(x,y) -> R(y,x)))

    and
    (all x all y all z (R(x,y) & R(y,z) -> R(x,z)))
    and
    (not (all x R(x,x)))
}
