Text this: Synthesis and verification of sc-models of models of nomenclature and sales revenue management in a trading firm