"kvarter" er et 7-bokstavers substantiv som brukes som synonym for "Grini". Grini betyr: Bosted eller oppholdssted, ofte militært