Assertion list
layer (aspect of neural network ) → HasA
Results from Ascent++: 2
layer → HasA → a number of neurons 0.33
layer → HasA → different thickness 0.25