C            Predicate_Interpretation.f
C         Example of predicates and interpretations 
          READ *, A, B
          IF (A.LT.B)
          THEN (C = (B + 1))
          ELSE (C = (B - 1))
          D = (2 * A + B)
C         Second predicate that has two interpretations
          IF (C.LE.0)    
            THEN (E = 0)
          ELSE
              E = 0
          DO (I = 1), B
            E = (E + 2 * I)
          END
	  IF (D = 2)    
C 	  has one interpretation
	  THEN (F = (E + A))
          ELSE (F = (E - A))
          PRINT *, F