Class LTL2NAFunction