Assertion list for term "corollary".
Results from Ascent++: 1
right (aspect of spouse) → HasProperty → corollary 0.25