Generalization refers to the #$genls predicate. A is said to generalize B iff (genls B A). The inverse relation is referred to as specification.
#$genls
A
B
(genls B A)