Assertion list for term "change to red phosphorus".

Results from Ascent++: 1
white phosphorus (subgroup of phosphorus) CapableOfchange to red phosphorus 0.25