-- load the calculus description
import LNEED.inp

-- commands for overlaps, forking direction,
-- i.e. left hand sides of transformations with
-- left hand sides of normal order reductions              
              
--
-- transformation llet-in
--


 overlap (llet-in).r all 
	except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(SR,lll,+,1)
               ,(lbeta,1)
               ,(cpx,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}

--
-- transformation llet-e
--
overlap (llet-e).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(cpx,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation cp-e
--
overlap (cpT-e,1).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lapp,1)
               ,(lseq,1)               
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
overlap (cpd-e,1).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lapp,1)
               ,(lseq,1)               
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}


--
-- transformation cp-in
--
overlap (cpT-in,1).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lapp,1)
               ,(lseq,1)               
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
overlap (cpd-in,1).r all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lapp,1)
               ,(lseq,1)               
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation lbeta 
--
overlap (lbeta).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}

overlap (seq).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
--
-- transformation lapp
--
overlap (lapp).r all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lseq,1)               
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}


--
-- transformation lapp
--
overlap (lseq).r all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}


--
-- transformation cpx-in
--
overlap (cpx-in).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation cpx-e
--
overlap (cpx-e,1).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation xch
--
overlap (xch).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation gc
--
overlap (gc,1).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(lbeta,1)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(ucp,0)}
overlap (gc,2).r all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(lbeta,1)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(ucp,0)}


--
-- transformation ucp
--
overlap (ucp,1).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1),(lbeta,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               }
overlap (ucp,2).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1),(lbeta,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               }
overlap (ucp,3).r all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1),(lbeta,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               }