ation contains (Tree° Image4) --> \\ definition of SatisfyingSet Member Image4 (SatisfyingSet (Evaluation contains(Tree0 *)) ) -- \\ definition of hasTreeO Member Image4 hasTree0 --> \\ M2I, Member to Inheritance inference Inheritance Image4 hasTree0 EFTA00624333 29.6 Some Simple Experiments with L