Assertion list for term "underlying theory".

Results from Ascent++: 1
meaning AtLocationunderlying theory 0.30