FO(C): A Knowledge Representation Language of Causality