Added the ratio of TBox:ABox:RBox as a metric.