{
    tau.none   :                    ;
       .some   : taus               ;

    taus.one   : V "->" V           ;
        .more  : V "->" V "," taus  ;
}