Assertion list
basis (primary) → HasA

Results from Ascent++: 5
basisHasA causal connection 0.28
basisHasA greater than 7 0.28
basisHasA a length of 69 metres 0.25
basisHasA different shape 0.25
basisHasA hangar 0.25