Automatic acquisition of DATR theories from observations