Assertion list
segment (aspect of tapeworm ) → HasProperty
Results from Ascent++: 1
segment → HasProperty → mobile 0.41