Only print predicates "Fully Qualified " when needed

[Bart Bogaerts]

De bijgeleverde file print dingen af als

Effect[V::Action,V::Fluent,V::Value] = { V::GoV::Person,V::Location : V::Action,V::AtV::Person,V::Location : V::Fluent,V::True[ : V::Value]; V::GoV::Person,V::Location : V::Action,V::AtV::Person,V::Location : V::Fluent,V::False[ : V::Value];

Dit is compleet onleesbaar.

Wanneer symbolen niet overloaded zijn, moet je ze niet gedesambigueerd afprinten. Wanneer het vocabularium duidelijk is, moet je dat ook niet afprinten.

[Pieter Van Hertum]

Dit is intussen in orde lijkt me?