Assertion list for term "igd".
Results from Ascent++: 1
chain → AtLocation → igd 0.25