ShoeOrder = [ <stores> Store_List ] .
Nonempty_Store_List = <it> Store [ <next> Nonempty_Store_List ] .
Store_List = [ <first> Nonempty_Store_List ] .
Store = <howManySuchShoes> Quantity .
Quantity = .