Assertion list for term "divided into two different types".

Results from Ascent++: 1
filling ReceivesActiondivided into two different types 0.25