Acquisition of causal knowledge in the CHECK system