eq-ref
eq-sym
eq-trans
eq-rep-s
eq-rep-p
eq-rep-o
prp-dom
prp-rng
prp-fp
prp-ifp
prp-symp
prp-trp
prp-spo1
prp-eqp1
prp-eqp2
prp-inv1
prp-inv2
cls-int2
cls-uni
cls-svf1
cls-svf2
cls-avf
cls-hv1
cls-hv2
cls-maxc2
cls-maxqc3
cls-maxqc4
cls-oo
cax-sco
cax-eqc1
cax-eqc2
scm-cls
scm-sco
scm-eqc1
scm-eqc2
scm-op
scm-dp
scm-spo
scm-eqp1
scm-eqp2
scm-dom1
scm-dom2
scm-rng1
scm-rng2
scm-hv
scm-svf1
scm-svf2
scm-avf1
scm-avf2
scm-int
scm-uni