Each possible labeling of the argument is associated with a variable which is then used to set up the inference procedure.
the final prediction will be likely dominated by the system that produces more candidates, which is system B in this example.