Assertion list
field (aspect of pulsar ) → HasProperty

Results from Ascent++: 1
fieldHasProperty strong 0.68