Assertion list
input (aspect of neural network ) → HasA

Results from Ascent++: 1
inputHasA weight 0.52