Class(SYMBOLIC-EXPRESSION partial SELF-CONTAINED-EXPRESSION restriction(HAS-FORM allValuesFrom(SYMBOLIC-FORM)))