Assertion list
property (aspect of concrete ) → CapableOf
Results from Ascent++: 3
property → CapableOf → depend on characteristic 0.41
property → CapableOf → take advantage of compact size 0.28
property → CapableOf → negate the objective 0.19