Assertion list for term "constructed using computer".

Results from Ascent++: 1
cad CapableOfconstructed using computer 0.35