Assertion list
head (aspect of frog ) → CapableOf
Results from Ascent++: 2
head → CapableOf → spin with sleep 0.25
head → CapableOf → spin with thin dreams of dawn 0.25