I want to know the answer to the following question:
How much revenue for companies is generated by the BDS system?
All the background I'm provided with is that "Fifteen years after the satellite system was launched, it is now generating $31.5 billion for major companies such as China Aerospace Science and Industry Corp, AutoNavi Holdings Ltd, and China North Industries Group Corp.". Is that enough to answer the question?