Assertion list for term "be a manufacturing defect".

Results from Ascent++: 1
fault CapableOfbe a manufacturing defect 0.16