Table: supreme court of puerto rico
Question: Do justices appointed by Luis Fortuño have longer years until mandatory retirement? Answer with only 'Yes' or 'No' that is most accurate and nothing else.
Step 1 (Operation, Indexing): appointed by
Step 2 (Operation, Grouping): appointed by
Step 3 (Reasoning, Aggregating): AVG, years until mandatory retirement
Step 4 (Reasoning, Other Commonsense Reasoning): longer years
Answer: Yes