Assertion list
ram (primary) → AtLocation
Results from Ascent++: 4
ram → AtLocation → the motherboard 0.31
ram → AtLocation → left box 0.25
ram → AtLocation → rf amplifiers 0.25
ram → AtLocation → right compartment 0.25