Our approach is based on two ideas: (1) decomposing a model into suitable sub-parts simplifies finding regularities, which are less ambiguous compared to analysing the model as one part; and (2) detecting approximate symmetries and related regularities reveals a likely design intent description, but requires careful handling of tolerances to […]