Reasoning Over Semantic-Level Graph for Fact Checking