Assertion list for term "move to the beta matrix phase".

Results from Ascent++: 1
iron CapableOfmove to the beta matrix phase 0.25