Language for the disjunction definitions
To write disjunctions there are two types of sentences:
Disjunction can be single or no-domain or can have a domain such that you declare and define a set of disjunctions over the domain.
The domain of the disjunction can be limited by applying the sentence with.
