('John','Bob','Susan','Mary')
sum of sizes 16
min of sizes 3
max of sizes 5
sum of (sizes+1) 20
sum of (sizes)+1 17
All sizes >= 4? 0
Any sizes >= 4? 1
All sizes >= 3? 1
Any sizes >= 6? 0
(1.000000,2.000000,3.000000)
6.00
list of names of at least size 4: ('John','Susan','Mary')
sizes of the big names: (4,5,4)
