Question: How many people were killed in the cemetery attack that followed two weeks of violence in Gibraltar?
Sentence (from "Operation Flavius"): Operation Flavius (also referred to as the "Gibraltar killings") was a controversial military operation in which three members of the Provisional Irish Republican Army (IRA) were shot dead by the British Special Air Service (SAS) in Gibraltar on 6 March 1988.
Relevant evidence: Yes