Assertion list
logic (primary) → RelatedTo
Results from Ascent++: 1
logic → RelatedTo → purpose 0.28