eta.core.execution.you_pred

you_pred(wff)[source]