Assertion list for term "be possible to design".

Results from Ascent++: 1
model CapableOfbe possible to design 0.46