of

fun of(parts: List): Clause?

The clause of a rule or premise from the list in its body, Id, Premises, Conclusion or Id, Conclusion