<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">&nbsp;#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. &nbsp;Both internally and in the protocol, atomic values are treated differently from feature structures. &nbsp;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 &lt;gete2@cam.ac.uk&gt; 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>&nbsp;'<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&nbsp;Uhr schrieb Stephan Oepen &lt;<a href="mailto:oe@ifi.uio.no">oe@ifi.uio.no</a>&gt;:<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>
&gt; 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).&nbsp; The log file says:<br>
&gt;<br>
&gt; 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>