Assertion list
theoretical astronomy (subgroup of astronomy ) → HasProperty
Results from Ascent++: 1
theoretical astronomy → HasProperty → incomplete 0.25