who are the judges of the supreme court?
(JOIN (R law.judicial_tenure.judge) (AND (JOIN law.judicial_tenure.time_macro 2015^^http://www.w3.org/2001/XMLSchema#date) (JOIN (R law.court.judges) m.07sz1)))