Sbt
Defined symbol.
Type:
pr
Arguments:
(st),
(sv),
(sv),
(sv),
(st), 
(sv), 
(sv), (sv), (st), (sv), (sv), (sv),