property POLIDO = (bater -> entrar -> POLIDO).
HESITANTE = (bater -> bater -> entrar -> HESITANTE).
IMPACIENTE = (entrar -> IMPACIENTE).
//||JUNTAS1 = (HESITANTE || POLIDO).
||JUNTAS2 = (IMPACIENTE || POLIDO).
//||JUNTAS2 = (IMPACIENTE || HESITANTE).