Find!
abstractor: generalized abstractor (how); x1 is [bridi] as a non-specific abstraction of type x2.