A(x, y): x admires y;

Parameter single field:

X: athletes;

Y: coach;

Z: college students;

1, (arbitrary x) (existence y)A(x, y);

2. (existence z) (arbitrary x)? A(z，x)；

3. ((arbitrary y)P(s, y) ∧ (existence of z) Q(s, z) ∨ (arbitrary x)R(x, t);