-- are all relations quasi-reflexive? 
-- (this is a non-constructive one, it will just say F)

all [R: Relation(X)] {
    all x ((exists y R(x,y)) implies R(x,x))
}
