Assertion list
size (aspect of beetle ) → CapableOf
Results from Ascent++: 2
size → CapableOf → vary 0.25
size → CapableOf → work at time 0.16