operator_terms(alice likes bob likes carol, alice then bob then carol, maybe maybe alice, alice done done).
declared_operator(500, xfy).
operator_list_declaration(alice links bob, alice relates bob).
runtime_operator(675, xfx).
removed_operator(ok).