transition(start, autocad).
transition(autocad, attribution).
transition(attribution, conformance).
transition(attribution, thermaleval).
transition(attribution, lightingeval).
transition(conformance, attribution).
transition(conformance, autocad).
transition(thermaleval, autocad).
transition(thermaleval, finish).
transition(lightingeval, autocad).
transition(lightingeval, finish).
transition(thermaleval, lightingeval).
transition(lightingeval, thermaleval).
