Assertion list for term "differ in type".
Results from Ascent++: 2
chest → CapableOf → differ in type 0.48
socket → CapableOf → differ in type 0.44