module wetness_increasing_and_decreasing
  depends on increasing_and_decreasing

  sort declarations
    wet :: increase

    dry :: decrease

  axioms
    affected_property(X) = wetness if instance(X, wet).

    false if instance(X, wet),
             from_value(X, FV),
             -instance(FV, wetness_value).

    false if instance(X, wet),
             -defined_base(X).

    false if instance(X, wet),
             base(X, B),
             -instance(B, tangible_entity).

    impossible occurs(X) if instance(X, wet),
                            from_value(X, FV),
                            base(X, B),
                            -wetness(B, FV).


    affected_property(X) = wetness if instance(X, dry).

    false if instance(X, dry),
             from_value(X, FV),
             -instance(FV, wetness_value).

    false if instance(X, dry),
             -defined_base(X).

    false if instance(X, dry),
             base(X, B),
             -instance(B, tangible_entity).

    impossible occurs(X) if instance(X, dry),
                            from_value(X, FV),
                            base(X, B),
                            -wetness(B, FV).