8. The system as recited in claim 7 , wherein individual asserted facts of the associated authorization query are replaced by a â€œTRUEâ€ Boolean status if a validated matching assertion can be deduced from the assertion context and are replaced by a â€œFALSEâ€ Boolean status if a validated matching assertion cannot be deduced from the assertion context.
8. The system as recited in claim 7 , wherein individual asserted facts of the associated authorization query are replaced by a â€œTRUEâ€ Boolean status if a validated matching assertion can be deduced from the assertion context and are replaced by a â€œFALSEâ€ Boolean status if a validated matching assertion cannot be deduced from the assertion context. 9. The system as recited in claim 8 , wherein if an individual asserted fact is replaced by a â€œTRUEâ€ Boolean status, the authorization engine produces a set of variable substitutions that are configured to render the individual asserted fact TRUE.