CircleFact is broken
After Refactoring of circlefact in MMT, it can no longer be parsed in Unity as structure and URIs have seemingly changed.
After Refactoring of circlefact in MMT, it can no longer be parsed in Unity as structure and URIs have seemingly changed.