Inductive inference in the variable valued predicate logic system vl21: methodology and computer implementation.