of

fun of(unificator: <ERROR CLASS>): PrologScopeWithUnification