Question 839136
You can't, really. You can write an *inequality* that represents the statement, for example,


(# bridges) >= 4*(# tunnels),


or an even stronger statement


# of bridges connected to any tunnel >= 4