• colinear
• perpendicul
• parallel
• ratio (of two sides)
• mid point (of a segment)
• congurency (of two sides)

The predicates used by the full angle method are:
 

• parallel
• perpendicular
• mid point
• colinear
• congruent sides (two sides equal)
• cyclic
• circumcenter
• orthocenter
• incenter
• equal angle (for two angle being equal )

( for a proper definition of these predicates see the definition of the   area functions and the  angle functions   inserting them into the data base)