Assertion list
model (primary) → IsA
Results from Ascent++: 2
model → IsA → representation 0.55
model → IsA → open source 0.46