Assertion list
property damage (subgroup of damage ) → CapableOf
Results from Ascent++: 1
property damage → CapableOf → pay for damage 0.16