("x") ("t") [Si ($"y") tal que "y" es una comunidad lingüísticas y "x" pertenece a ella entonces ("x" sostiene que "s" es verdadero si y solo si "p" en "t"]