Assertion list
american colony (subgroup of colony ) → IsA

Results from Ascent++: 1
american colonyIsA haven 0.25