Grammar

concept ::=	atomicconcept
	| EMPTYCONCEPT | negconcept | andconcept | unionconcept | intersectconcept | impliesconcept | forallconcept | existsconcept | ( concept )

atomicconcept ::= NAME negconcept ::= \n concept andconcept ::= concept & concept unionconcept ::= concept \u concept intersectconcept ::= concept \i concept impliesconcept ::= concept --> concept forallconcept ::= \A NAME . concept existsconcept ::= \E NAME . concept

Atomic concepts:

• One letter (lowercase or uppercase), followed by 0 more letters or numbers
• False: \0

Operators:

• Union: \u
• Intersection: \i
• For all: \A
• Existential: \E
• Implication: ->
• Negation: \n
• Dot: .

Example:

\E father .( ( smart & tall )    \u    \A   father . ( boy ) )