Premise: Cyclobenzaprine , sold under the brand name Flexeril among others , is a muscle relaxer medication used to relieve skeletal muscle spasms and associated pain in acute musculoskeletal conditions .
Hypothesis: Cyclobenzaprine is sold under the brand name Flexeril.
Label: ENTAILMENT