yes

fun yes(query: <ERROR CLASS>, substitution: <ERROR CLASS> = Substitution.empty()): Solution.Yes

fun yes( signature: Signature, arguments: List<<ERROR CLASS>>, substitution: <ERROR CLASS> = Substitution.empty()): Solution.Yes