Function pm#size__number_of_elements (collection -> nonnegative_integer)
  supertype:  relation_from_collection_to_number
  subtype:  length (list -> nonnegative_integer)


Another search (with same display options)?