Assertion list
pure titanium (subgroup of titanium ) → HasProperty
Results from Ascent++: 2
pure titanium → HasProperty → hard 0.42
pure titanium → HasProperty → strong 0.31