Assertion list
natural science (subgroup of science ) → HasProperty
Results from Ascent++: 1
natural science → HasProperty → incompatible 0.16