AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence.getSymbolicName C# (CSharp) Method