Помощь эмл записать в виде предикатной формулы следующие выражения, используя предикатные символы

[Гисс]

Помогите пожалуйста разобраться.Записать в виде предикатной формулы следующие выражения, используя предикатные символы:
T(s)  «s является точкой»
Pr(t)  «t является прямой»
Pl(w)  «w является плоскостью»
L(f, h)  «f лежит в/на h»
A(m, n)  «m параллельно n»
B(k, p)  «k перпендикулярно p»
N(x, y)=1 ↔ «x неравно y»
Примечание: Можно создать и свой предикатный символ, если через имеющиеся фраза не выражается.

"Каждой плоскости принадлежат хотя бы две различные прямые."