5.1 Calling the ELAN Interpreter

> fenv2elan GT_pred.fenv -sort=bool -interp
To Efix ...
To REF ...
warning: the query sort is bool, index= 428

        ******** ELAN version 3.4 (03/12/99.19:39) ********

         (c)   LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2), 1994 - 1999

Import form file GT_pred

Importing Identifiers
Importing Sorts
Importing Modules
Importing RuleNames
Importing StrategyNames

enter query term finished by the key word 'end':
s(s(zero)) > s(zero) end

[] start with term :
    s(s(zero))>s(zero)

[] result term:
    true

[] end

enter query term finished by the key word 'end':
s(zero) > s(s(zero)) end

[] start with term :
    s(zero)>s(s(zero))

[] result term:
    false

[] end