Assertion list
necessity (primary) → HasA
Results from Ascent++: 2
necessity → HasA → significant implications 0.41
necessity → HasA → modular kitchen 0.16