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