% these should all fail

k2p-conflict semantics:[t1() t2() db()]
adj-failure  semantics:[a() xb()] % top/bot conflict

tb-failure1  semantics:[eb1()]
tb-failure2  semantics:[eb2() t1() t2()]

% aconstr:noadj nodes
tb-noadj-bad semantics:[tb-unification-noadj() thing-bad()]