(defrelation Winter-Season (Subclass-Of Winter-Season Season-Of-Year) (Temporal-Object-Type Winter-Season) (Class Winter-Season) (Arity Winter-Season 1) (Documentation Winter-Season "The collection of Winter seasons.