Ast_tptp
.
Statement