Assertion list for term "split log".
Results from Ascent++: 1
log splitter (subgroup of splitter) → CapableOf → split log 0.50