theorem Actions.feasible_outcomes_that_are_not_acted_on_is_skill_issue_for_people
theorem Actions.feasible_outcomes_that_are_not_acted_on_is_skill_issue_for_people
(bridge : PersonsAreAgents)
: ∀ (person : Person) (o : Outcome) (s : State) (t : Time) (a : Action) (p : Predisposition),
  (personAsAgent _fvar.2404 person).val predisposed-toward p.val →
    p.val is-manifested-by a.val →
      a.val action-is-feasible-for-agent (personAsAgent _fvar.2404 person).val in-state s.val →
        a.val results-in o.val →
          ¬OutcomeAchievedByAgent (personAsAgent _fvar.2404 person) o s t →
            IsSkillIssueFor (personAsAgent _fvar.2404 person) o s t