function¶ Open interactive function diagram Formalization for function¶ Property Constraint subClassOf CityUnitsThing