<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"><meta http-equiv="content-type" content="text/html; charset=utf-8"><div dir="ltr">My best guess is LUI expected a #D structure instead of a symbol; e.g.</div><div dir="ltr"><br></div><div dir="ltr"> #D[zero]</div><div dir="ltr"><br></div><div dir="ltr">One could argue that LUI should be a bit more forgiving in enforcing type constraints on its commands. Both internally and in the protocol, atomic values are treated differently from feature structures. An atomic value at the top level is unanticipated, but I think it should work just fine if wrapped into a (trivial) feature structure.</div><div dir="ltr"><br></div><div dir="ltr">Woodley</div><div dir="ltr"><br><blockquote type="cite">On Nov 11, 2020, at 9:42 AM, Guy Emerson <gete2@cam.ac.uk> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><div dir="ltr"><div>Hi Stephan,</div><div><br></div><div>The command is:</div><div><br></div><div>process_complete_command(): `avm 1 ZERO "zero - expanded"<br> '<br><br>YZLUI: Received unknown lkb-protocol top-level command: AVM</div><div><br></div><div>Best,</div><div>Guy<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mi., 11. Nov. 2020 um 16:57 Uhr schrieb Stephan Oepen <<a href="mailto:oe@ifi.uio.no">oe@ifi.uio.no</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">hi guy,<br>
<br>
> I also get this behaviour (no LUI window appearing) if I try to display a type that has no features (obviously, this isn't a useful display on its own, but it would be helpful for interactive unification to be able to drag and drop the type). The log file says:<br>
><br>
> YZLUI: Received unknown lkb-protocol top-level command: AVM<br>
<br>
could you send the complete log output, i.e. including the 'avm'<br>
command that LUI fails to recognize?<br>
<br>
oe<br>
</blockquote></div>
</div></blockquote></div></body></html>