//includes flora specific stuff like signature checking
#include "flr.flr"
//including resources 
#include "dt.flr"
#include "po.flr"
#include "tc.flr"

#include "cp.flr"
#include "goal.flr"

// queries for G-C-Matching 
?- X:capability[postcondition], X:capability[effect].