Assertion list
dairy farmer (subgroup of farmer ) → IsA

Results from Ascent++: 1
dairy farmerIsA another group 0.16