...  ↑

(1)Некоторые люди (2)считают, что (3)программное обеспечение (4)должно быть (6)агностическим.

(1) Некоторые люди - не конкретный референт
(2) Считают - чтение мыслей; не конкретный глагол
(3) Программное обеспечение - не конкретный референт
(4) Должно быть - модальность
(6) Агностическим - не конкретный предикат; опущенные референты "в чем"

Выбираю (4)

Что произойдет, если программное обеспечение не будет агностическим?