Assertion list
covalent compound (subgroup of compound ) → HasProperty
Results from Ascent++: 1
covalent compound → HasProperty → insoluble 0.33