<http://schema.org/recipeInstructions>
" Place the potatoes in a large pot and add 2 teaspoons salt and enough cold water to cover. Bring to a boil. Reduce heat and simmer until the potatoes are very tender, 20 to 25 minutes. Drain and return the potatoes to the pot. Meanwhile, heat the oil in a small skillet over medium-low heat. Add the garlic and cook, stirring, until golden, 5 to 8 minutes. Add the milk, butter, 1 teaspoon salt, and 1/4 teaspoon pepper to the potatoes and mash to the desired consistency. Top with the garlic oil and sprinkle with the paprika."^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.delish.com/cooking/recipe-ideas/recipes/a20500/mashed-potatoes-toasted-garlic-smoked-paprika-recipe-rs1112/>