Assertion list
trachea (primary) → AtLocation
Results from Ascent++: 1
trachea → AtLocation → the neck 0.37