...``''), While we may also combine post-typing with the reformulation of
an is-domain as
a disjunction of solved equalities (cf. in
section 3), we can directly apply the algorithm
(cf. section 5.1) to any
to obtain equivalent domless clauses
(for anonymous domains we just omit ``'').