Assertion list
germanium (primary) → HasA
Results from Ascent++: 1
germanium → HasA → same crystal structure 0.25