little formalization for prisons kml