Long description of illustration 'Refinement of the FO tree'

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