Requirement given by KMML