Assertion list
categorical imperative (primary) → IsA
Results from Ascent++: 1
categorical imperative → IsA → principle 0.54