Syntax
======

Base OSF expressions
--------------------

.. automodule:: fosf.syntax.base
   :members:
   :undoc-members:
   :show-inheritance:


Taxonomy
--------

.. automodule:: fosf.syntax.taxonomy
   :members:
   :undoc-members:
   :show-inheritance:

Terms
-----

.. automodule:: fosf.syntax.terms
   :members:
   :undoc-members:
   :show-inheritance:


Constraints
-----------

.. automodule:: fosf.syntax.constraints
   :members:
   :undoc-members:
   :show-inheritance:


Theory
------

.. automodule:: fosf.syntax.theory
   :members:
   :undoc-members:
   :show-inheritance: