use(string_predicates).

%lmm == main_property(nil).
lmm == all(S,main_property(S) => main_property(cons(S,create))).

precedence([prefix,dmin,del,create,cons,nil]).
top_predicates_precedence([lmm]).