The statement "A jacket is a short coat" is true because a coat is long