<?xml version="1.0" standalone="yes"?>
<Paper uid="W91-0103">
  <Title>Towards Uniform Processing of Constraint-based Categorial Grammars</Title>
  <Section position="7" start_page="17" end_page="17" type="ackno">
    <SectionTitle>
Acknowledgements
</SectionTitle>
    <Paragraph position="0"> I am supported by SFB 314, Project N3 BiLD.</Paragraph>
    <Paragraph position="1">  prove(T): null marktypes( M), prove(T, M). prove(T, M) : marker(L, Name), del(Name, M, M2), rule(L, T, A), prove(A, M2). prove(T, M) : lezical_entry( L ), connect( L, T), (T phon) =&amp;quot; (L phon), (T synsem sere) ~ (L synsem sere). connect(T, T).</Paragraph>
    <Paragraph position="2"> connect(S, T) :rule(S, M, A), prove(A), connect(M, T).</Paragraph>
  </Section>
class="xml-element"></Paper>