Assertion list
proof (primary) → HasSubevent
Results from Ascent++: 5
proof → HasSubevent → glory 0.43
proof → HasSubevent → praise 0.43
proof → HasSubevent → honor 0.43
proof → HasSubevent → the conclusion 0.34
proof → HasSubevent → long delays 0.18