Pmin
=? [
F
<=
T
(
lin
=
N
|
rin
=
N
) ]