Invia SMS: Term logic with choice operator