find stars whose mass is 15.5.
(AND astronomy.star (JOIN astronomy.star.mass_m 15.5^^http://www.w3.org/2001/XMLSchema#float))