of

fun of(clause: Clause): String?

The identifier clause is tagged with, if any