>>387の例そのままではないが、
FOL:<n>で似たようなことはできるだろ