Open greenTara opened 9 years ago
From http://wiki.ruleml.org/index.php/Normalized_Serialization_When_Names_Are_Deprecated
From http://wiki.ruleml.org/index.php/Normalized_Serialization_When_Names_Are_Deprecated