displays schemes and their premises