/*piensa(agente,en año,piensa 'texto')*/
piensa(ciudadano, 2007, 'de puta madre!').
piensa(ciudadano, 2007, 'nos forramos!').
not('+','-'). /*no valen no triviales*/
variacion(margen_intermediacion,precio_del_dinero,'+').
variacion(expansion_mercado_inmobiliario,precio_del_dinero,'-').
variacion(compensacion_por_perdida_de_margenes,margen_intermediacion,'-').
variacion(expansion_credito_hipotecario,
      compensacion_por_perdida_de_margenes,'+').
variacion(compensacion_por_perdida_de_margenes,
      concesion_de_prestamos_subprime,'+').
variacion(compensacion_por_perdida_de_margenes,
      incentivos_y_beneficios_a_corto_plazo,'+').
variacion(incentivos_y_beneficios_a_corto_plazo,
      cobro_intereses_elevados,'+').
variacion(expansion_credito_hipotecario,
      expansion_mercado_inmobiliario,'+').
variacion(expansion_mercado_inmobiliario,
      expectativa_de_plusvalias,'+').
variacion(precio_vivienda,
      expansion_mercado_inmobiliario,'+').
variacion(expectativa_de_plusvalias,
      precio_vivienda,'+').
variacion(concesion_de_prestamos_subprime,
      expansion_credito_hipotecario,'+').
variacion(deuda_hipotecaria,
      concesion_de_prestamos_subprime,'+').
variacion(pago_cuotas_hipoteca,
      concesion_de_prestamos_subprime,'+').
variacion(pago_cuotas_hipoteca,
      expectativa_de_plusvalias,'+').
variacion(deuda_hipotecaria,
      pago_cuotas_hipoteca,'-').
variacion(X,Y,'+') :- variacion(X,Z,'+'),variacion(Z,Y,'+').
variacion(X,Y,'-') :- variacion(X,Z,'-'),variacion(Z,Y,'-').
variacion(X,Y,'-') :- variacion(X,Z,'+'),variacion(Z,Y,'-').
variacion(X,Y,'-') :- variacion(X,Z,'-'),variacion(Z,Y,'+').