Assertion list
log splitter (subgroup of splitter ) → CapableOf
Results from Ascent++: 2
log splitter → CapableOf → split log 0.50
log splitter → CapableOf → come with wheel 0.16