Zaslat SMS: Term logic with choice operator