Assertion list
head (aspect of sheep ) → CapableOf
Results from Ascent++: 4
head → CapableOf → stuck in the fence 0.41
head → CapableOf → covered in the assembly 0.35
head → CapableOf → get wet 0.25
head → CapableOf → hang over rowlock 0.25