Assertion list
receiver (primary) → PartOf
Results from Ascent++: 1
receiver → PartOf → the part of the phone 0.30