%%HP: T(1)A(R)F(.);
 CLEAR
"IF THEN ELSE END
Enter a b c  (a<b<c)"
"" INPUT OBJ  A B
C
   A "a" TAG B
"b" TAG C "c" TAG
    IF 'A<B AND B<C
'
    THEN "a<b<c"
    ELSE
"Indefinite Clause!"
    END
  

