Assertion: time slot | /r/HasProperty | multiplexed
Facets:
Source sentences:
text: As long as Q is not empty, the nodes in it are sorted in decreasing order according to nllb, to make more time slots can be multiplexed since more broadcast node can be scheduled to send according to the first broadcast constraint.