Less detailed models are sold under the name Nao.
The more complicated models are sold under the name Hi.
mnli hypothesis: The more complicated models are sold under the name Hi. premise: Less detailed models are sold under the name Nao.