Prove that a tetravalent vertex-transitive non-arc transitive graph is "3 + 1" decomposable if and only if the local action of a point stable subgroup is isomorphic to a third-order symmetric group
Notes: "3 + 1" decomposition : be decomposed into a 3-degree arc-transitive subgraph with invariant automorphism group and a 1-factor graph.