Assertion list
olm (primary) → IsA
Results from Ascent++: 1
olm → IsA → amphibian 0.43