public List<FOLNode> getArgs() { // Is not Compound, therefore should // return null for its arguments return null; }