A test area for learning the KRL language