Definitions
1.NounA harbour or anchorage protected from the sea.
2.NounA safe place.
3.NounA peaceful or tranquil place.
4.NounA certain type of function on sets of vertices in an undirected graph, able to be used by an evader to win a pursuit-evasion game on the graph.
5.VerbTo put into, or provide with a haven.
6.Verbplural simple present of have