Assertion: hockey player's game | /r/HasProperty | ended in tie
Facets:
Source sentences:
text: Early in the history of the NHL, ties after regulation play were decided in a 10-minute overtime period, but that changed in 1942 when the overtime was eliminated and games ended in ties.