1delconst TC
2delconst reflexive
3delconst irreflexive
4delconst transitive
5delconst WF
6delconst RSUBSET
7delconst RUNION
8delconst RINTER
9delconst RUNIV
10delconst EMPTY_REL
11