On Semantic Generalization of Examples (Mathematical Methods in Software Science and Engineering)