Assertion list
red phosphorus (subgroup of phosphorus ) → HasA
Results from Ascent++: 1
red phosphorus → HasA → crystal atomic lattice 0.25