Assertion list for term "phi phi don".

Results from Ascent++: 1
main island (subgroup of island) IsAphi phi don 0.33