[计] goal well-formed formula, goal wff

mù biāo hé shì gōng shì ㄇㄨˋ ㄅㄧㄠ ㄏㄜˊ ㄕˋ ㄍㄨㄥ ㄕˋ