Assertion list
vestibule (aspect of tent ) → HasA

Results from Ascent++: 1
vestibuleHasA floor 0.16