A Lobounded_integer_interval is an Integer_interval that has a lower bound.
EXPRESS specification:
*) ENTITY Lobounded_integer_interval SUBTYPE OF (Integer_interval); lobnd : INTEGER; END_ENTITY; (*
Attributes:
lobnd: The smallest integer in the interval.