Assertion list
different size (subgroup of size ) → IsA
Results from Ascent++: 5
different size → IsA → 3-5 yard 0.57
different size → IsA → 3-5 backyard 0.40
different size → IsA → 3-5 garden 0.39
different size → IsA → 3-5 lawn 0.39
different size → IsA → 3-5 property 0.32