Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation - Larson, James 1947- ([Report] - UIUCDCS-R-77 ; 869., 1977)