[Name] time-bag-size [Arguments] A single bag of attribute values of http://www.w3.org/2001/XMLSchema#time [Return Value] 
An attribute value of http://www.w3.org/2001/XMLSchema#integer representing the size of the bag.