Sofic dimension for discrete measured groupoids

For discrete measured groupoids preserving a probability measure we introduce a notion of sofic dimension that measures the asymptotic growth of the number of sofic approximations on larger and larger finite sets. In the case of groups we give a formula for free products with amalgamation over an amenable subgroup. We also prove a free product formula for measure-preserving actions.