TreeView Knowledge Base Browser

antecedent

(=>
    (and
        (instance ?R PupillaryResponse)
        (patient ?R ?P)
        (instance ?P BothEyePupils)
        (subProcess ?C ?R)
        (instance ?C QuantityChange)
        (patient ?C ?P)
        (approximateDiameter ?P
            (MeasureFn ?X Milimeter)))
    (and
        (greaterThanOrEqualTo ?X 1.5)
        (lessThanOrEqualTo ?X 8.0)))

If All of the following hold: (1) X is an instance of pupillary response (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is a subprocess of X (5) Z is an instance of quantity change (6) Y is a patient of Z (7) the approximate diameter of Y is W Milimeter(s), then W is greater than or equal to 1.5 and W is less than or equal to 8.0