Description: An importation inference. (Contributed by NM, 26-Apr-1994) Shorten imp4a . (Revised by Wolf Lammen, 19-Jul-2021)