Assertion list for term "be an end unit".

Results from Ascent++: 1
condo CapableOfbe an end unit 0.33