• AND : formula.h
• ATOM : formula.h
• CREATED : formula.h
• DOWN : formula.h
• FIRST_OP : formula.h
• GLOBALLY : formula.h
• IMPLY : formula.h
• INITIALIZED : formula.h
• LAST : formula.h
• NOT : formula.h
• OR : formula.h
• PREVIOUSLY : formula.h
• READY : formula.h
• S_INTERVAL : formula.h
• S_SINCE : formula.h
• UP : formula.h
• W_INTERVAL : formula.h
• W_SINCE : formula.h
• XOR : formula.h