How to give compositional restraint/constraint in retveild refinement using full proof software?

I have sodium Na occupying 3 different sites 4e 4d and 8f with occupation values of 0.5 for each. Can you please help me how to write compositional restraint for this.

01 May 2022 3,059 0 View