Structural Induction on Partial Algebras II