if ($1 = "") { echo "Syntax: $0 TypeName_or_ConceptNode //ConceptNode: '[' TypeName ']'"; } else { if ($1 = "#*") //ConceptNode { echo "Specialisations"; echo ""; spec $1; } else //TypeName { echo "Supertypes and subtypes of" $1 ""; echo ""; spec $1; echo "Definitions of" $1 ""; echo ""; def of $1; }; }