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: Flexeril is a brand name of Cyclobenzaprine.
Label: ENTAILMENT