method
phrase phrases =
string_of_sv (call_method sv
"phrase"
(
List
.map sv_of_string phrases))