Assertion list
quantum gravity (subgroup of gravity ) → HasProperty
Results from Ascent++: 1
quantum gravity → HasProperty → necessary 0.68