Assertion list for term "remain on any corner lot".

Results from Ascent++: 1
fence CapableOfremain on any corner lot 0.19