Statistics for A Formal Specification of a Boundary Representation