Assertion list for term "established for first logical layer".
Results from Ascent++: 1
logic → ReceivesAction → established for first logical layer 0.33