Assertion list
calcium fluoride (subgroup of fluoride ) → HasProperty

Results from Ascent++: 1
calcium fluorideHasProperty insoluble 0.25