b - (3GSdGe BHGOs 2020 ((3GSdGe GHGOs c)
Keywords: v -- v