Diagram showing the refinement process of the FO tree: traits are computed from properties using the inheritance model and evaluation of expressions.
