Characterizations of Partial Well-Behaved Lenses. - Keishi Hashiba; Keisuke Nakano 001; Kazuyuki Asada; Kentaro Kikuchi (PEPM, 2025)