Assertion list
carbon tetrachloride (primary) → HasProperty

Results from Ascent++: 1
carbon tetrachlorideHasProperty stable 0.39