m@.n is a verb defined by the gerund m
with an agenda specified by n ;
that is, the verb represented by the train selected from m
by the indices n .If n is boxed, the train
is parenthesized accordingly. The case m@.v
uses the result of the verb v to perform the selection.