Assertion list for term "a 12mm hole".

Results from Ascent++: 1
antenna HasPrerequisitea 12mm hole 0.25