// A rendition attempt of Cortazar's Continuity of Parks

Basis health@reader <- alive [1.0, 0.0] dead [0.0, 1.0];
// the husband's health is uncorrelated with that of the reader
Basis health@husband <- alive dead #Angle 45.0 #WithRespectTo health@reader;

// This is the basis for describing how the lover feels about the woman and reader
Basis health@lover <- alive dead #Angle 90.0 #WithRespectTo health@husband;
Basis passionForwoman@lover <- conquer quit #Angle 90.0 #WithRespectTo health@husband;

// This is the basis for describing the woman's passion for her lover
Basis passionForlover@woman <- conquer quit #Angle 10.0 #WithRespectTo health@lover;

// The initial hero superposition
Protagonist reader <- #Amplitude [cos(0.0), sin(0.0)] #WithRespectTo health@reader;
Protagonist husband <- #Amplitude [cos(0.0), sin(0.0)] #WithRespectTo health@husband;

// The initial lover superposition
Protagonist lover <- #Amplitude [cos(30.0), sin(30.0)] #WithRespectTo passionForwoman@lover;

// The initial woman superposition
Protagonist woman <- #Amplitude [cos(30.0), sin(30.0)] #WithRespectTo passionForlover@woman;


// After a lovers encounter both the lover and the woman are more prone to conquer each other 

Praxis LoversEncounter <- 
    #Actors ( 
                ?object = woman
                ?subject = lover
              )
    #Context (
               ?p <- Prob ?subject = conquer(passionFor?object@?subject) 
               ?p > 0.5
               ?q <- Prob ?object = conquer(passionFor?subject@?object) 
               ?q > 0.5
             ) 
    #Effects (
               (Transform ?subject [1.1 * ?p] [conquer(passionFor?object@?subject)])
               (Transform ?object [1.1 * ?q] [conquer(passionFor?subject@?object)])  
             )
             ;

Praxis Caress <- 
    #Actors ( 
                ?subject = woman
                ?object = lover
              )
    #Context (
               ?p <- Prob ?subject = conquer(passionFor?object@?subject) 
               ?p > 0.6
               ?q <- Prob ?subject = alive(health@?object)  
               ?q > 0.6
             ) 
    #Effects (
               (Transform ?object [1.1 * ?q] [alive(health@?object)])  
             )
             ;

Praxis ImmersiveDilemma <- 
    #Actors ( 
                ?object = woman
                ?subject = lover
              )
    #Context (
               ?p <- Prob ?subject = conquer(passionFor?object@?subject) 
               ?p > 0.75
               ?d <- Metro #State ?subject #WithRespectTo passionFor?object@?subject
               ?d = conquer 
             ) 
    #Effects (
               (Entangle 
                  [husband reader] 
                  [0.75] 
                  [dead(health@husband) dead(health@reader)] 
               )
             )
             ;

Praxis Conclusion <- 
    #Actors ( 
                ?subject = reader
                ?object = reader
              )
    #Context (
               ?d <- Metro #State ?subject #WithRespectTo health@?subject
               ?d = dead 
             ) 
    #Effects (
               (Stop ?subject is dead)
             )
             ;