partial encoding of pendulum motion in FTT AST