Assertion list
valve (primary) → CreatedBy
Results from Ascent++: 1
valve → CreatedBy → the saarbrücken research group 0.27