The project on formulating axioms of efficient causality by means of the prepositional variables calculus