Assertion list for term "formal proposal".

Results from Ascent++: 1
motion IsAformal proposal 0.33