Language for the disjunction definitions

	are continuous variables,
	are binary variables (0-1),
	are Boolean variables, to establish whether a disjunction term is true or false
	logic relationships between Boolean variables,
	objective function, which can be linear or non-linear,
	linear or non-linear inequalities independent of the discrete choices,
	mixed-integer inequalities that can contain linear or non-linear continuous terms,
	linear integer inequalities/equalities
	fixed cost terms.