In many-sorted logic, the choice of whether sorts must be non-empty, disjoint, or allow subsort rela...