Assertion list
coordinate (primary) → RelatedTo
Results from Ascent++: 1
coordinate → RelatedTo → the k-vector coefficients of cd… 0.25