What's the definition of ACTL?
ACTL is the universal fragment of CTL.
Thus, existential path quantification is not allowed. 
So a path formula is of the form $AF\psi$,  $AG\psi$, or $AX\psi$ (or a conjunction or disjunction of path formulas).

Moreover, you are not allowed a general NOT operator, but rather negations have to be on the atomic propositions (otherwise this fragment would be equal to CTL).