3 ms·S.T.H(x) holds for ∀x where x ∈ {people} ∧ ¬{me, monkey_mine}.by dalke 11y agoS.T.H(x) holds for ∀x where x ∈ {people} ∧ ¬{me, monkey_mine}.