% find a quasi-similarity relation that isn't
% of the form compose(S,converse(S))

let X = {1,2,3,4}

find [R: Relation(X)] {
    all x ((exists y R(x,y)) implies R(x,x))
    AND
    all x,y (R(x,y) -> R(y,x))
    AND
    not exists [S: Relation(X)] {
        all x,y (R(x,y) iff (exists z (S(x,z) and S(y,z))))
    }
}
