homomorphy_form (Predication ps ts r) = Predication ps ts' r
     where ts' = map homomorphy_term ts
homomorphy_form (Predication ps ts r) = Predication ps ts' r
     where ts' = map homomorphy_term ts
homomorphy_form (Predication ps ts r) = Predication ps ts' r
     where ts' = map homomorphy_term ts