Task: Question Understanding
Input (English): Context : PSR J1719-1438 was discovered in 2011 by the High Time Resolution Survey, a radio astronomy search for astronomical objects that rapidly vary in radio brightness, such as pulsars. 
Question : The star PSR J1719-1438 is part of the constellation known as what?
Output (English): constellation