"Scope Note:\nThis property relates an E93 Presence with the STV it is part of...\n\nIn First Order Logic:\nP166(x,y) \u2283 E93(x)\nP166(x,y) \u2283 E92(y)"^^ . . . . .