The structure of a class of commutative ordered semirings | Synapse