Assertion list for term "puncture at given point of entry".

Results from Ascent++: 1
bullet CapableOfpuncture at given point of entry 0.16