Premise: Source: King Vitaman
In 2000 , Quaker Oats returned to an illustrated character on their King Vitaman cereal boxes .
Hypothesis: Python features automatic cereal boxes.
Label: nei
Span interactions:
level: high
labels: Synonym
Synonym
premise_text: cereal boxes
hypothesis_text: cereal boxes