Input (grade 6): Three out of eight members of each Senate must have served as a judge of a Federal Supreme Court.
Output (grade 6): Three out of eight members of each Senate must have been a judge of a Federal Supreme Court.