Mass¶ Open interactive Mass diagram Formalization for Mass¶ Property Constraint i72:value all ComplexExpr subClassOf i72:Quantity