SYNTHESIZE: Adult;
      
    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=<epsilon>, DELTA=1e-9;
        
    ENFORCE: LINE CONSTRAINT: PARAM <param1>:
        age > 35 AND age < 55;
    
END;
