Assertion list
hoof (primary) → MadeOf
Results from Ascent++: 2
hoof → MadeOf → rectangular shapes 0.42
hoof → MadeOf → changed squares 0.36