class
AxiomTypeMetric
GCICount
LogicalAxiomCount
Copyright © 2014 The University of Manchester. All Rights Reserved.