node(N1) :- link(N1,N2,V).
node(N2) :- link(N1,N2,V).
tank(TK) :- tank_of(TK,R).


fluent(value(W,X)) :- is_input(W,G), signal(X).
fluent(in_state(X,S)) :- of_type(X,TY), state_of(S,TY).
fluent(pressurized_by(N,TK)) :- node(N), tank(TK).
fluent(pressurized(N)) :- node(N).
fluent(leaking(N)) :- node(N).
fluent(ready_to_fire(J)) :- jet_of(J,R).
fluent(fire_vernier(J)) :- jet_of(J,R).
%%%%%%fluent(maneuver_of(X,S)) :-
fluent(ab_input(V)) :- of_type(V,valve).

#hide fluent(X).
#hide node(X).
#hide tank(X).

