properties.tex explain constraints on srv-lx (Frank Van Eynde)

[stefan11]

p.19 : it might be useful to add the constraint on 'srv-lx';
I know that it is redundant, but for the reader who is not familiar
with HPSG, it may be a good illustration of what multiple inheritance
involves.