Assertion list
correlation (primary) → HasA

Results from Ascent++: 2
correlationHasA body 0.27
correlationHasA roof 0.27