NOT KNOWN DETAILS ABOUT AIR CHINA

Specified an issue and also a list of premises, issue-fixing cuts down to seeking a evidence tree whose root node is labelled by an answer of the challenge and whose leaf nodes are labelled by premises or axioms. In the situation of Horn clauses, difficulty-fixing look for is often carried out by reasoning forwards through the premises or backwards