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