Assertion list
green peacock (subgroup of peacock ) → AtLocation

Results from Ascent++: 1
green peacockAtLocation java 0.68