Pinocchio: a language for action representation