To write disjunctions there are two types of sentences:
Declaration Sentence
Definition Sentence
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.
