Query

?- holdsAt(light_red, A).


A = { A│ A>2, A<3} ?


Model

{ holdsAt(light_red, { A│ A>2, A<3} ) , initiates(turn_on,light_on,2) , happens(turn_on,2) , trajectory(light_on,2,light_red, { A│ A>2, A<3} ) , not stoppedIn(2,light_on, { A│ A>2, A<3} ) , not -holdsAt( { B ∉ [light_on]} , { C│ C ≤ 0} ) , not -holdsAt( { B ∉ [light_on]} , { D│ D>0} ) , not terminates( { E ∉ [turn_off]} , { B ∉ [light_on]} , { F│ F ≤ 0} ) , not terminates(turn_off, { B ∉ [light_on]} , { F│ F ≤ 0} ) , not -holdsAt(light_on, { G│ G ≤ 0} ) , not -holdsAt(light_on, { H│ H>0} ) , not terminates( { I ∉ [turn_off]} ,light_on, { J│ J ≤ 0} ) , terminates(turn_off,light_on, { J│ J ≤ 0} ) , not happens(turn_off, { J│ J ≤ 0} ) }

Justification