list the mountains of the range high tatras located in liptovský mikuláš district ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_mountainRange dbr_High_Tatras sep_dot var_uri dbo_locatedInArea dbr_Liptovský_Mikuláš_District sep_dot var_uri a dbo_Mountain brack_close