Kas yra koralis? korãlis [isp. corral — kiemas], XVI—XVII a. isp. teatro rūšis; vaidinimas didelio namo kieme.