class SHARED_EXPANDED_CHECKER feature Expanded_checker: EXPANDED_CHECKER is -- Controller of the expanded client relation once create Result.make; end; end