Assertion list
method (aspect of class ) → Causes
Results from Ascent++: 1
method → Causes → embodiment 0.27