Inductive Reasoning with Incomplete Specifications (Preliminary Report)