\/x {(x es un aficionado) /\ /\y (Si y es profesional --> (x gana a y)}