{"raw_statement":[{"iden":"statement","content":"Converting from one unit of measurement to another is very useful. Make a program that can convert between, feet, inches, meters, centimeters, miles, and kilometers. Use the following conversions to get the correct answer: .08333 feet in 1 inch, 3.28084 feet in 1 meter, 0.0328084 feet in one centimeter, 5280 feet in 1 mile, and 3280.84 feet in 1 kilometer. \n\nOne line describing a conversion: Ex: \"The road is 1.5 miles, how many kilometers is it.\"\n\nPrint the value of the conversion and the unit.\n\nThe first number and unit will always be right before the \",\". after the \",\" it will always \"how many\" then the unit you are converting to.\n\n"},{"iden":"input","content":"One line describing a conversion: Ex: \"The road is 1.5 miles, how many kilometers is it.\""},{"iden":"output","content":"Print the value of the conversion and the unit."},{"iden":"note","content":"The first number and unit will always be right before the \",\". after the \",\" it will always \"how many\" then the unit you are converting to."}],"translated_statement":null,"sample_group":[],"show_order":[],"formal_statement":"**Definitions**  \nLet $ U = \\{ \\text{inch}, \\text{foot}, \\text{meter}, \\text{centimeter}, \\text{mile}, \\text{kilometer} \\} $ be the set of units.  \nDefine the conversion factor to feet:  \n- $ c_{\\text{inch}} = 0.08333 $  \n- $ c_{\\text{foot}} = 1 $  \n- $ c_{\\text{meter}} = 3.28084 $  \n- $ c_{\\text{centimeter}} = 0.0328084 $  \n- $ c_{\\text{mile}} = 5280 $  \n- $ c_{\\text{kilometer}} = 3280.84 $  \n\n**Given**  \nA string of the form:  \n> \"The road is $ v $ $ u_1 $, how many $ u_2 $ is it.\"  \n\nwhere:  \n- $ v \\in \\mathbb{R}^+ $ is the numerical value,  \n- $ u_1, u_2 \\in U $, $ u_1 \\ne u_2 $, are the source and target units.  \n\n**Objective**  \nCompute the converted value:  \n$$\nv' = v \\cdot \\frac{c_{u_1}}{c_{u_2}}\n$$  \nOutput: $ v' $ and $ u_2 $.","simple_statement":"Convert a value from one unit to another: given a string like \"The road is 1.5 miles, how many kilometers is it.\", output the converted value and target unit.","has_page_source":false}