Function pm#size__number_of_elements (pm#collection -> sumo#nonnegative_integer) supertype: pm#relation_from_collection_to_number subtype: kif#length (sumo#list -> sumo#nonnegative_integer)
Another search (with same display options)?