I want to know the answer to the following question:
How many justices are on the Supreme Court?
All the background I'm provided with is that "The judicial system is headed by a Tribunal Supremo da Justiça (Supreme Court), made up of nine justices appointed by the president; they serve at the pleasure of the president.". Is that enough to answer the question?