<?xml version="1.0" standalone="yes"?>
<Paper uid="C90-3035">
  <Title>Expressive Power of Grammatical Formalisms</Title>
  <Section position="3" start_page="0" end_page="195" type="intro">
    <SectionTitle>
2. Definability
</SectionTitle>
    <Paragraph position="0"/>
    <Section position="1" start_page="0" end_page="195" type="sub_section">
      <SectionTitle>
2.1 Expressive power
</SectionTitle>
      <Paragraph position="0"> The expressive power of a logical theory depends on four factors: 1. The formal language L in which the theory is written; Example: FOL (the First Order Ix~c) is more expressive than the Propositional Calculus</Paragraph>
    </Section>
  </Section>
class="xml-element"></Paper>