OSM-Calculus
List goals for the primary alternative.
List suggested alternatives that satisfy all needs.
{ <x> | ?y(Goal(x) ? Suggested Alternative(y) satisfies Need(x)
? Primary Alternative(y)) }
{ <x> | Suggested Alternative(x)
? ?y(Need(y) ? Suggested Alternative(x) satisfies Need(y)) }
{ <x> | Suggested Alternative(x)
? ?y(?Need(y) ? Suggested Alternative(x) satisfies Need(y)) }
{ <x> | Suggested Alternative (x)
? ??y(Need(y) ? ?Suggested Alternative(x) satisfies Need(y)) }