Assertion list
bar linkage (subgroup of linkage ) → IsA

Results from Ascent++: 1
bar linkageIsA formed therebetween 0.68