Assertion list for term "different phases".

Results from Ascent++: 2
moon HasAdifferent phases 0.38
signal HasAdifferent phases 0.35