Assertion list
lamb (aspect of ewe ) → AtLocation
Results from Ascent++: 1
lamb → AtLocation → the leg 0.25