SYNTHESIZE: Adult;

    ENFORCE: STATISTICAL: PARAM <param1>:
        E[age] == 30;

END;
