Assertion list for term "equal k/2".
Results from Ascent++: 1
value (aspect of tree) → CapableOf → equal k/2 0.31