Assertion list
human lung (subgroup of lung ) → AtLocation

Results from Ascent++: 1
human lungAtLocation two cavities 0.68