Sponging   disallowed (Read-only view)

The property that determines the predicate of an annotated axiom or annotated annotation.

% meta-cartridges called:
Meta-cartridge [execution time]: