A Reasoning System of Ternary Projective Relations