Automatic Induction of First-Order Logic Descriptors Type Domains from Observations