Assertion list for term "return to miami".
Results from Ascent++: 2
ship → CapableOf → return to miami 0.38
flight → CapableOf → return to miami 0.30