The top documents of krl-properties