During oil fields operation, gas is extracted along with oil. In this article it suggested to use jet pumps for utilization of the associated gas, burning which causes environmental degradation and poses a potential threat human body. order determine possibility simultaneous application sucker-rod pump, driven by rocking machine, pump (ejector) in well, necessary estimate distribution pressure ...

We introduce a multi-sorted stratified syllogistic, called 4LQS, admitting variables of four sorts and a restricted form of quantification over variables of the first three sorts, and prove that it has a solvable satisfiability problem by showing that it enjoys a small model property. Then, we consider the fragments (4LQS) of 4LQS, consisting of 4LQS-formulae whose quantifier prefixes have leng...