formalize PhraseNode