token :+
 [ +STAG stag ].

stag := *top* &
 [ +TAG *list*,
  +PRB *list* ].

null_stag := stag &
  [ +TAG < >,
    +PRB < > ].

one_one_form_tmt :+
 [ +INPUT < [ +STAG #stag ] >,
   +OUTPUT < [ +STAG #stag ] > ].

two_one_initial_form_tmt :+
 [ +INPUT < [ +STAG #stag ],
            [ ] >,
   +OUTPUT < [ +STAG #stag ] > ].

two_one_final_form_tmt :+
 [ +INPUT < [ ],
            [ +STAG #stag ] >,
   +OUTPUT < [ +STAG #stag ] > ].

three_one_center_form_tmt :+
 [ +INPUT < [ ],
 				[ +STAG #stag ],
				[ ] >,
   +OUTPUT < [ +STAG #stag ] > ].

one_two_all_form_tmt :+
 [ +INPUT < [ +STAG #stag ] >,
   +OUTPUT < [ +STAG #stag ],
	          [ +STAG #stag ] > ].

token_class_tmt :+
 [ +INPUT < [ +STAG #stag ] >,
   +OUTPUT < [ +STAG #stag ] > ].

token_case_tmt :+
 [ +INPUT < [ +STAG #stag ] >,
   +OUTPUT < [ +STAG #stag ] > ].