[Tagging] Sub tags for sport=soccer

[Warin]

There are several varieties of soccer;


The traditional 11 a side game. The pitch size is on the OSMwiki page 
http://wiki.openstreetmap.org/wiki/Tag:sport%3Dsoccer .


9 a side ... so 18 players in total.


5 a side so 10 people total.


A version for the 'younger people' (children) usually called 'mini soccer".


================

I think these would be best tagged with the added sub tag of

soccer= 11_a_side(default)/9_a_side/5_a_side/mini_soccer/*


Where * can be used to describe whatever version that may come later or 
be in existence now.


Comments?