Assertion list
quark (aspect of baryon ) → HasProperty

Results from Ascent++: 1
quarkHasProperty heavy 0.35