submit_rule(submit(W)) :-
    W = label('Any-Label-Name', ok(_)).