Assertion list
red phosphorus (subgroup of phosphorus ) → HasProperty

Results from Ascent++: 1
red phosphorusHasProperty more stable 0.40