Assertion list
operation (primary) → PartOf
Results from Ascent++: 1
operation → PartOf → the current transaction 0.50