Supported by a reasonable default implementation
KMG will provide a default implementation of the constraint language
- Not very efficient
- But good semantics for KA
- Good enough to bootstrap the process
As we learn more about constraints, and how they are used, we hope that people with real expertise will step forward