Property:Hall-Senior number

Has type::Record Has fields::Number;Number