observed_fact