conditional definition of semun