...
This uses a 'magic property' called 'definesStatements' that is only available in TopBraid Composer. This It can be made to work without this magic property, if just the one ontology is loaded and the imports are removed. This should probably migrate to the hygiene tests suite. It's here for now for my own use.
...