pulling from RuleML to greenTara