a dining hall in an institution, e.g. a monastery or college [late Latin refectorium, ultimately from Latin reficere: see refection]