In the triloghelp.pdf file in the section discussing the interlock function you show an equivalent circuit that can be replaced by the interlock functions. It looks similar to this:
----| |----------| |------------------( )
|
`----| |------------------( )
|
`----| |------------------( )
But I can't for the life of me figure out how to create that. Is it even possible in TRiLOGI to do this?