semmel 2+3 (+ (semmel 2) 3)