PICK : MTREEOPPICK is a matingstree command.
Pick a leaf which you may try to mate with another later.
(MB: I think that PICK N behaves as though you had just
added a connection to N, and generates the appropriate
obligations, without actually demanding another leaf to
connect with. I think.)
The command format for PICK is:
<Mtree>PICK LITERAL OBLIGATION
TPS documentation homepage