Über 'Info' gibt es Informationen zur verarbeiteten Syntax. Allerdings stimmen die Angaben
zu den unterstützten Konstrukten darin nicht alle (z.B. wird Rolle top nicht unterstützt,
dafür werden nicht-zyklische Konzeptdefinitionen in der TBox unterstützt (wenn man T-Box aktiviert.)