Function Month-Name-Of

Instance-Of:
Binary-Relation, Function, Relation, Set
Domain: Time-Point
Range: Month-Name
Arity: 2
Documentation: MONTH-OF-NAME denotes a name of a month of a time point.