God Save the King Deductions national anthem is for example God Save the King ⇐ (God Save the King is a national anthem), (is a is inverse of is for example)