Semantan Station
Bukit Badak Station
Please solve the problem and put your answer (only answer yes or no) in one "\boxed{}". According to the subway map, is it true that Semantan Station is the same line as Bukit Badak Station? 