Assertion list
uniform magnetic field (subgroup of magnetic field ) → HasProperty
Results from Ascent++: 1
uniform magnetic field → HasProperty → perpendicular 0.68