Assertion list
freezer compartment (subgroup of compartment ) → ReceivesAction
Results from Ascent++: 1
freezer compartment → ReceivesAction → shown in fig 0.68