Assertion list
data type (subgroup of character ) → IsA
Results from Ascent++: 2
data type → IsA → sem_rulebases 0.25
data type → IsA → signed integer 0.25