Assertion list
wooden shingle (subgroup of shingle ) → MadeOf
Results from Ascent++: 1
wooden shingle → MadeOf → split logs 0.68