#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# 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 if the level of cytoplasm occludin
# in the lung decreases then eventually the number of ischemic endothelial
# lung cells will increase. To match the structure of PBLMSTL statements this
# can be rewritten as the probability is greater than 0.9 that if the value of
# {LungOccludinCytoplasm} (corresponding to scale and subsystem
# Tissue.LungEpithelium) decreases then eventually the total area of the
# regions defined by ischemic endothelial lung cells (corresponding to scale
# and subsystem Cellular.LungEndotheliumIschemia) will increase.
#
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
P > 0.9 [
F [1, 999] (
(
d({LungOccludinCytoplasm} (scaleAndSubsystem = Tissue.LungEpithelium)) < 0
) => (
F [1, 999] (
d(sum(area(filter(regions, scaleAndSubsystem = Cellular.LungEndotheliumIschemia)))) > 0
)
)
)
]
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# Natural language description:
#
# The probability is greater than 0.9 that always an increase of the cell
# damage by-product in the gut will lead to an increase of the cell damage
# by-product in the lung. To match the structure of PBLMSTL statements this can
# be rewritten as the probability is greater than 0.9 that always if the value
# of {GutCellDamageByproduct} (corresponding to scale and subsystem
# Tissue.GutEndothelium) increases, then eventually the value of
# {LungCellDamageByproduct} (corresponding to scale and subsystem
# Tissue.LungEndothelium) increases.
#
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
P > 0.9 [
G [1, 999] (
(
d({GutCellDamageByproduct} (scaleAndSubsystem = Tissue.GutEndothelium)) > 0
) => (
F [1, 999] (
d({LungCellDamageByproduct} (scaleAndSubsystem = Tissue.LungEndothelium)) > 0
)
)
)
]
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
#
# Natural language description:
#
# The probability is greater than 0.9 that if the level of cell wall occludin
# in the gut decreases then eventually the amount of solute leaking in the gut
# lumen will increase. To match the structure of PBLMSTL statements this can be
# rewritten as the probability is greater than 0.9 that if the value of
# {GutOccludinCellwall} (corresponding to scale and subsystem
# Tissue.GutEpithelium) decreases then eventually the value of {GutLeak}
# (corresponding to scale and subsystem Organ.Gut) will increase.
#
#++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
P > 0.9 [
F [1, 999] (
(
d({GutOccludinCellwall} (scaleAndSubsystem = Tissue.GutEpithelium)) < 0
) => (
F [1, 999] (
d({GutLeak} (scaleAndSubsystem = Organ.Gut)) > 0
)
)
)
]