Assertion list
reptile (primary) → IsA
Results from Ascent++: 5
reptile → IsA → animal 0.65
reptile → IsA → vertebrate 0.60
reptile → IsA → tetrapod vertebrates 0.58
reptile → IsA → amniote 0.51
reptile → IsA → the most primitive animals 0.16