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