Description: Bound-variable hypothesis builder for a class abstraction. (Contributed by NM, 26-May-1993)