pro-insert-arg1-omtr := monotonic_omtr & [ INPUT [ HOOK.INDEX #e, RELS ], CONTEXT.RELS , FILTER.RELS , OUTPUT [ HOOK.INDEX #e, RELS , HCONS ], FLAGS.EQUAL < #x > ]. pro-insert-arg2-omtr := monotonic_omtr & [ INPUT.RELS , CONTEXT.RELS , FILTER.RELS , OUTPUT [ RELS , HCONS ], FLAGS.EQUAL < #x > ]. pro-insert-arg3-omtr := monotonic_omtr & [ INPUT.RELS , CONTEXT.RELS , FILTER.RELS , OUTPUT [ RELS , HCONS ], FLAGS.EQUAL < #x > ].