Instruct: what is the ngc number when the constellation is leo and the declination (j2000) is °42′13″?
Output: SELECT AVG NGC number FROM table WHERE Constellation = leo AND Declination ( J2000 ) = °42′13″