Assertion list
land (primary) → IsA
Results from Ascent++: 2
land → IsA → the property of the state 0.58
land → IsA → property 0.41