a trail is a kind of road
trail is path. horse_trail is trail. trail is constructed_route. trail is not solid_path_through_air. trail is track. trail is not path. trail is solid_path_through_air. road is wide_path. cattle_trail is trail. road is not wide_path.