I want to know the answer to the following question:
When was the first comprehensive school opened in Gibraltar?
All the background I'm provided with is that "Gibraltar opened its first comprehensive school in 1972.". Is that enough to answer the question?