Battle of Carillon Deductions battle is for example Battle of Carillon ⇐ (Battle of Carillon is a battle), (is a is inverse of is for example)