Assertion list
property (aspect of tenant ) → HasSubevent
Results from Ascent++: 1
property → HasSubevent → loss 0.18