Assertion list
modern reptile (subgroup of reptile ) → IsA
Results from Ascent++: 1
modern reptile → IsA → diapsid 0.84