Ascent++
Search
shower enclosure
subgroup of
enclosure
,
1
assertions
ReceivesAction
1
surrounded with wall
0.68