Assertion list for term "2 faces".

Results from Ascent++: 1
hammer HasA2 faces 0.25