Simple Predicate ()
Complete Predicate ()
Compound Predicate ()
Main Constructions ()