Assertion list
artificial neural network (subgroup of neural network ) → HasProperty
Results from Ascent++: 1
artificial neural network → HasProperty → effective 0.68