--# -path=.:../common:../abstract resource MakeStructuralDut = open CatDut, ParadigmsDut, MorphoDut, Prelude in { --{ -- --oper -- mkConj : Str -> Str -> Number -> Conj = \x,y,n -> -- {s1 = x ; s2 = y ; n = n ; lock_Conj = <>} ; -- mkSubj : Str -> Subj = \x -> -- {s = x ; lock_Subj = <>} ; -- mkIQuant : Str -> IQuant = \s -> -- {s = \\_,_,_ => s ; lock_IQuant = <>} ; -- --} }