Assertion list
mirror (primary) → Desires
Results from Ascent++: 1
mirror → Desires → be facing the bed 0.31