Assertion list
original constitution (subgroup of constitution ) → IsA
Results from Ascent++: 1
original constitution → IsA → on display 0.25