Я хочу представить тычинку в форме факта пролога ... утверждение состоит в том, что всем нравится кто-то ..... как я могу это сделать. Я попытался найти некоторые примеры, но нашел только для универсальных квантификаторов, это экзистенциальныйквантификатор, который беспокоит меня