what is the number of astronomical discovery does simon marius have?
(COUNT (AND astronomy.astronomical_discovery (JOIN (R astronomy.astronomer.astronomical_objects_discovered) m.01b6sb)))