Assertion list
proof (primary) → RelatedTo
Results from Ascent++: 2
proof → RelatedTo → such status 0.33
proof → RelatedTo → service 0.25