Logical Solutions using General Knowledge

• If one company cannot provide total of $?X, then find two companies that can each provide $?Y + $?Z = $?X.
• Search for all the services which have the effect of providing an inspection report and satisfy the pre-conditions for using that service.
• If the service that has the effect of filing taxes in Germany requires a German bank, make a sub-goal of opening a German bank account and plan to achieve that goal