6. The method of claim 5 , wherein said step of parsing said user input to create a boolean representation of said system includes the step of parsing at least one one-sided link.
6. The method of claim 5 , wherein said step of parsing said user input to create a boolean representation of said system includes the step of parsing at least one one-sided link. 7. The method of claim 6 , wherein said step of parsing at least one one-sided link includes the step of making substitutions according to the following: 
 “must achieve” translates to “([X] or not [GOAL])”; and 
 “must eliminate” translates to “(not [X] or not [GOAL])”; where X is a desired outcome of said system and GOAL represents achieving said desired outcome.