AGRS is currently an OMNI asset under the Bitcoin blockchain and there's no mining going for it. It's already at the max of 42m supply, but yeah part of it may be reserved for maintaining the actual chain (at least where Agoras is concerned I think) when it's out. It'll be a product of community discussion during the Alpha or Beta stage.