#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# Author: Ovidiu Parvu
# Contact: ovidiu.parvu@gmail.com
#
# Copyright Ovidiu Parvu 2014
#
# Remarks: 
#   1. Any line starting with the "#" character is interpreted as a comment.
#   2. Any line starting with the "P" character introduces a new logic 
#      statement.
#
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# Natural language description:
# 
# The probability is greater than 0.9 that the intrauterine pressure
# increases/decreases with the contractile activity of uterus regions. 
# To match the structure of PBLMSTL statements this can be rewritten as the 
# intrauterine pressure {Pressure} (corresponding to scale and subsystem 
# Organ.Uterus) increases or decreases with the contractile activities (denoted 
# in PBLMSTL as densities) of the uterus regions (corresponding to scale and 
# subsystem Tissue.ContractileActivity) with probability greater than 0.9.
#
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

P > 0.9 [
    G [1, 329] (
        (
            (
                d({Pressure} (scaleAndSubsystem = Organ.Uterus)) > 0
            ) ^ (
                (d(sum(density(filter(regions, scaleAndSubsystem = Tissue.ContractileActivity)))) > 0)
            )
        ) V (
            (
                d({Pressure} (scaleAndSubsystem = Organ.Uterus)) < 0
            ) ^ (
                (d(sum(density(filter(regions, scaleAndSubsystem = Tissue.ContractileActivity)))) < 0)
            )
        ) V (
            d({Pressure} (scaleAndSubsystem = Organ.Uterus)) = 0
        )
    )
]


#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# Natural language description:
#
# The probability is less than 0.1 that the intrauterine pressure decreases 
# when the entire uterus experiences an action potential burst. To match the 
# structure of PBLMSTL statements this can be rewritten as the probability is 
# less than 0.1 that the intrauterine pressure {Pressure} (corresponding to 
# scale and subsystem Organ.Uterus) decreases when the entire uterus comprising 
# all 16 regions (corresponding to scale and subsystem Tissue.BurstActivity) 
# experiences an action potential burst i.e. the area of the regions 
# experiencing an action potential burst equals 16.
# 
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

P < 0.1 [
    F [1, 329] (
        (
            d({Pressure} (scaleAndSubsystem = Organ.Uterus)) < 0
        ) ^ (
            min(area(filter(regions, scaleAndSubsystem = Tissue.BurstActivity))) = 16
        )
    )
]


#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# Natural language description:
# 
# The probability is greater than 0.9 that the intrauterine pressure decreases
# when the entire uterus is in the refractory period. To match the structure of 
# PBLMSTL statements this can be rewritten as the probability is greater than 
# 0.9 that the intrauterine pressure {Pressure} (corresponding to scale and 
# subsystem Organ.Uterus) decreases when the entire uterus comprising all 16 
# regions (corresponding to scale and subsystem Tissue.RefractoryActivity) is 
# in the refractory period i.e. the area of regions which are not in the 
# refractory period equals 0.
#
# Remark: The minimum valid value for the intrauterine pressure {Pressure} is 
#         0.5. Therefore the value of {Pressure} cannot decrease below 0.5 
#         even if the entire uterus is in the refractory period.
#
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

P > 0.9 [
    G [1, 329] (
        (
            (max(area(filter(regions, scaleAndSubsystem = Tissue.RefractoryActivity))) = 0)
        ) => (
            (d({Pressure} (scaleAndSubsystem = Organ.Uterus)) < 0) V
            (
                (d({Pressure} (scaleAndSubsystem = Organ.Uterus)) = 0) ^
                ({Pressure} (scaleAndSubsystem = Organ.Uterus) = 0.5)
            )
        )
    )
]