Deakstadieđáhus: Term logic with choice operator