#X

<osf:term tag="X">
  <osf:sort name="TOP"/>
</osf:term>

#X : s

<osf:term tag="X">
  <osf:sort name="s"/>
</osf:term>

s

<osf:term tag="">
  <osf:sort name="s"/>
</osf:term>

s & t

<osf:term tag="">
  <osf:sort-expression kind="conjunction">
    <osf:sort name="s"/>
    <osf:sort name="t"/>
  </osf:sort-expression>
</osf:term>

X : s(a => X, b => c)

<osf:term tag="X">
  <osf:sort name="s"/>
  <osf:feature name="a"/>
  <osf:term tag="X" sort="TOP"/>
  <osf:feature name="b"/>
  <osf:term tag="">
    <osf:sort name="c"/>
  </osf:term>
</osf:term>


