Text this: Inductive inference in the variable valued predicate logic system VL 21 :