Assertion list for term "facilitate the conversion of coq10".

Results from Ascent++: 1
chlorophyll CapableOffacilitate the conversion of coq10 0.25