active f X mark g h f X active f X f active X active h X h active X f mark X mark f X h mark X mark h X proper f X f proper X proper g X g proper X proper h X h proper X f ok X ok f X g ok X ok g X h ok X ok h X top mark X top proper X top ok X top active X active 1 f 1 mark 1 g 1 h 1 proper 1 ok 1 top 1 INNERMOST ./TRS/TRCSR/inn/ExConc_Zan97_C.trs